Uses of Class
de.rwth.i2.attestor.grammar.Grammar

Packages that use 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.concretization
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.

Uses of Grammar in de.rwth.i2.attestor.grammar

Methods in de.rwth.i2.attestor.grammar that return Grammar

Modifier and Type	Method and Description
Grammar	GrammarBuilder.build()

Methods in de.rwth.i2.attestor.grammar with parameters of type Grammar

Modifier and Type	Method and Description
GrammarBuilder	GrammarBuilder.addRules(Grammar grammar)
void	GrammarExporter.export(String directory, Grammar grammar) Exports the given grammar in an implementation specific format.

Uses of Grammar in de.rwth.i2.attestor.grammar.canonicalization

Methods in de.rwth.i2.attestor.grammar.canonicalization with parameters of type Grammar

Modifier and Type	Method and Description
CanonicalizationStrategyBuilder	CanonicalizationStrategyBuilder.setGrammar(Grammar grammar)

Constructors in de.rwth.i2.attestor.grammar.canonicalization with parameters of type Grammar

Constructor and Description
GeneralCanonicalizationStrategy(Grammar grammar, CanonicalizationHelper canonicalizationHelper)

Uses of Grammar in de.rwth.i2.attestor.grammar.concretization

Methods in de.rwth.i2.attestor.grammar.concretization with parameters of type Grammar

Modifier and Type	Method and Description
ConcretizationStrategyBuilder	ConcretizationStrategyBuilder.setGrammar(Grammar grammar)

Constructors in de.rwth.i2.attestor.grammar.concretization with parameters of type Grammar

Constructor and Description
DefaultSingleStepConcretizationStrategy(Grammar grammar)

Uses of Grammar in de.rwth.i2.attestor.grammar.materialization.strategies

Methods in de.rwth.i2.attestor.grammar.materialization.strategies with parameters of type Grammar

Modifier and Type	Method and Description
OneStepMaterializationStrategyBuilder	OneStepMaterializationStrategyBuilder.setGrammar(Grammar grammar)
MaterializationStrategyBuilder	MaterializationStrategyBuilder.setGrammar(Grammar grammar)

Uses of Grammar in de.rwth.i2.attestor.grammar.materialization.util

Constructors in de.rwth.i2.attestor.grammar.materialization.util with parameters of type Grammar

Constructor and Description
GrammarAdapter(Grammar grammar)
ViolationPointResolver(Grammar grammar)

Uses of Grammar in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Methods in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat with parameters of type Grammar

Modifier and Type	Method and Description
void	JsonGrammarExporter.export(String directory, Grammar grammar)

Uses of Grammar in de.rwth.i2.attestor.phases.parser

Methods in de.rwth.i2.attestor.phases.parser that return Grammar

Modifier and Type	Method and Description
Grammar	ParseGrammarPhase.getGrammar()

Uses of Grammar in de.rwth.i2.attestor.phases.preprocessing

Methods in de.rwth.i2.attestor.phases.preprocessing that return Grammar

Modifier and Type	Method and Description
Grammar	GrammarRefinementPhase.getGrammar()

Uses of Grammar in de.rwth.i2.attestor.phases.transformers

Methods in de.rwth.i2.attestor.phases.transformers that return Grammar

Modifier and Type	Method and Description
Grammar	GrammarTransformer.getGrammar()

Uses of Grammar in de.rwth.i2.attestor.refinement.balanced

Constructors in de.rwth.i2.attestor.refinement.balanced with parameters of type Grammar

Constructor and Description
BalancednessAutomaton(SceneObject sceneObject, Grammar grammar)
ListLengthAutomaton(SceneObject sceneObject, Grammar grammar)

Uses of Grammar in de.rwth.i2.attestor.refinement.grammarRefinement

Methods in de.rwth.i2.attestor.refinement.grammarRefinement that return Grammar

Modifier and Type	Method and Description
Grammar	GrammarRefinement.getRefinedGrammar()

Constructors in de.rwth.i2.attestor.refinement.grammarRefinement with parameters of type Grammar

Constructor and Description
GrammarRefinement(Grammar grammar, HeapAutomaton heapAutomaton)
InitialHeapConfigurationRefinement(HeapConfiguration initialHeapConf, Grammar grammar, HeapAutomaton heapAutomaton)

Uses of Grammar in de.rwth.i2.attestor.refinement.languageInclusion

Constructors in de.rwth.i2.attestor.refinement.languageInclusion with parameters of type Grammar

Constructor and Description
LanguageInclusionAutomaton(SceneObject sceneObject, Grammar grammar)

Uses of Grammar in de.rwth.i2.attestor.seplog

Methods in de.rwth.i2.attestor.seplog that return Grammar

Modifier and Type	Method and Description
Grammar	GrammarExtractor.getGrammar()
Grammar	InductivePredicatesParser.parseFromFile(String filename)