![]() | Alternative Constructor |
Name | Description | |
---|---|---|
![]() | Alternative(String, String, PatternGraph) |
Constructs an Alternative object.
|
![]() | Alternative(Alternative, PatternGraphEmbedding, PatternGraph, String, String, DictionaryPatternNode, PatternNode, DictionaryPatternEdge, PatternEdge, DictionaryPatternVariable, PatternVariable) |
Instantiates a new alternative object as a copy from an original alternative, used for inlining.
|