![]() | 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. |