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

Packages that use CollapsedHeapConfiguration

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

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

Methods in de.rwth.i2.attestor.grammar that return types with arguments of type CollapsedHeapConfiguration

Modifier and Type	Method and Description
Set<CollapsedHeapConfiguration>	Grammar.getCollapsedRightHandSidesFor(Nonterminal nonterminal)

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

Modifier and Type	Method and Description
GrammarBuilder	GrammarBuilder.addCollapsedRule(Nonterminal lhs, CollapsedHeapConfiguration rhs)

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

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

Modifier and Type	Method and Description
HeapConfiguration	CanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs) If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Uses of CollapsedHeapConfiguration in de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar

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

Modifier and Type	Method and Description
HeapConfiguration	DefaultCanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs)

Uses of CollapsedHeapConfiguration in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

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

Modifier and Type	Method and Description
HeapConfiguration	IndexedCanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs)