Alternative(Alternative, PatternGraphEmbedding, PatternGraph, String, String, DictionaryPatternNode, PatternNode, DictionaryPatternEdge, PatternEdge, DictionaryPatternVariable, PatternVariable) Constructor

public Alternative(
	Alternative original,
	PatternGraphEmbedding inlinedSubpatternEmbedding,
	PatternGraph newHost,
	string nameSuffix,
	string pathPrefix_,
	Dictionary<PatternNode, PatternNode> nodeToCopy,
	Dictionary<PatternEdge, PatternEdge> edgeToCopy,
	Dictionary<PatternVariable, PatternVariable> variableToCopy
)

Parameters

original  Alternative

The original alternative to be copy constructed.

inlinedSubpatternEmbedding  PatternGraphEmbedding

The embedding which just gets inlined.

newHost  PatternGraph

The pattern graph the new alternative will be contained in.

nameSuffix  String

The suffix to be added to the name of the alternative and its elements (to avoid name collisions).

pathPrefix_  String

Prefix for name from nesting path.

nodeToCopy  DictionaryPatternNode, PatternNode

A dictionary mapping nodes to their copies.

edgeToCopy  DictionaryPatternEdge, PatternEdge

A dictionary mapping edges to their copies.

variableToCopy  DictionaryPatternVariable, PatternVariable

A dictionary mapping variables to their copies.

Reference