| Class | Description |
|---|---|
| EmbeddingIndexChecker |
This class can be used to match the indices of already matched graphs.
|
| IndexedCanonicalizationHelper |
This class provides the methodExecution to canonicalisation which are specific for
indexed grammars.
|
| IndexEmbeddingResult |
Data class holding the result of a index matching between two graphs
(embedding of one graph in another).
|
| Exception | Description |
|---|---|
| CannotMatchException |
Implies that the indices of aligned nonterminal edges cannot match
by materialization and instantiation
|
Copyright © 2018. All rights reserved.