| Package | Description |
|---|---|
| de.rwth.i2.attestor.grammar |
This package containsSubsumingState the classes storing the actual grammar-data.
|
| de.rwth.i2.attestor.grammar.materialization.util |
| Modifier and Type | Method and Description |
|---|---|
Pair<AbstractIndexSymbol,List<IndexSymbol>> |
IndexMatcher.getMaterializationRule(IndexedNonterminal materializableNonterminal,
IndexedNonterminal instantiableNonterminal) |
| Modifier and Type | Method and Description |
|---|---|
Deque<Pair<Integer,GrammarResponse>> |
ApplicableRulesFinder.findApplicableRules(HeapConfiguration heapConfiguration) |
Copyright © 2019. All rights reserved.