Uses of Package
de.rwth.i2.attestor.grammar

Packages that use de.rwth.i2.attestor.grammar

Package	Description
de.rwth.i2.attestor.grammar	This package containsSubsumingState the classes storing the actual grammar-data.
de.rwth.i2.attestor.grammar.canonicalization	This package containsSubsumingState all necessary classes to perform canonicalization.
de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar
de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar
de.rwth.i2.attestor.grammar.concretization
de.rwth.i2.attestor.grammar.materialization.indexedGrammar
de.rwth.i2.attestor.grammar.materialization.strategies
de.rwth.i2.attestor.grammar.materialization.util
de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.preprocessing
de.rwth.i2.attestor.phases.transformers
de.rwth.i2.attestor.refinement.balanced
de.rwth.i2.attestor.refinement.grammarRefinement
de.rwth.i2.attestor.refinement.languageInclusion
de.rwth.i2.attestor.seplog	The separation logic interface of Attestor.

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar

Class and Description
AbstractionOptions
CollapsedHeapConfiguration
Grammar Immutable data-object storing all the rules (lhs → rhs).
GrammarBuilder Used to construct a grammar.

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar.canonicalization

Class and Description
CollapsedHeapConfiguration
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar

Class and Description
CollapsedHeapConfiguration

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Class and Description
CollapsedHeapConfiguration
IndexMatcher

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar.concretization

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar.materialization.indexedGrammar

Class and Description
IndexMatcher

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar.materialization.strategies

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.grammar.materialization.util

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).
GrammarExporter A general method to export Grammars in a format to be specified by implementations.

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.phases.parser

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.phases.preprocessing

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.phases.transformers

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.refinement.balanced

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.refinement.grammarRefinement

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.refinement.languageInclusion

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).

Classes in de.rwth.i2.attestor.grammar used by de.rwth.i2.attestor.seplog

Class and Description
Grammar Immutable data-object storing all the rules (lhs → rhs).