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.
|