Uses of Interface
de.rwth.i2.attestor.refinement.StatelessHeapAutomaton

Packages that use StatelessHeapAutomaton

Package	Description
de.rwth.i2.attestor.refinement
de.rwth.i2.attestor.refinement.balanced
de.rwth.i2.attestor.refinement.identicalNeighbourhood
de.rwth.i2.attestor.refinement.languageInclusion
de.rwth.i2.attestor.refinement.variableRelation
de.rwth.i2.attestor.refinement.visited

Uses of StatelessHeapAutomaton in de.rwth.i2.attestor.refinement

Methods in de.rwth.i2.attestor.refinement with parameters of type StatelessHeapAutomaton

Modifier and Type	Method and Description
AutomatonStateLabelingStrategyBuilder	AutomatonStateLabelingStrategyBuilder.add(StatelessHeapAutomaton automaton)

Constructor parameters in de.rwth.i2.attestor.refinement with type arguments of type StatelessHeapAutomaton

Constructor and Description
AutomatonStateLabelingStrategy(HeapAutomaton heapAutomaton, List<StatelessHeapAutomaton> statelessHeapAutomata)

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

Classes in de.rwth.i2.attestor.refinement.balanced that implement StatelessHeapAutomaton

Modifier and Type	Class and Description
class	BalancednessAutomaton
class	ListLengthAutomaton

Uses of StatelessHeapAutomaton in de.rwth.i2.attestor.refinement.identicalNeighbourhood

Classes in de.rwth.i2.attestor.refinement.identicalNeighbourhood that implement StatelessHeapAutomaton

Modifier and Type	Class and Description
class	NeighbourhoodAutomaton

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

Classes in de.rwth.i2.attestor.refinement.languageInclusion that implement StatelessHeapAutomaton

Modifier and Type	Class and Description
class	LanguageInclusionAutomaton

Uses of StatelessHeapAutomaton in de.rwth.i2.attestor.refinement.variableRelation

Classes in de.rwth.i2.attestor.refinement.variableRelation that implement StatelessHeapAutomaton

Modifier and Type	Class and Description
class	VariableRelationsAutomaton

Uses of StatelessHeapAutomaton in de.rwth.i2.attestor.refinement.visited

Classes in de.rwth.i2.attestor.refinement.visited that implement StatelessHeapAutomaton

Modifier and Type	Class and Description
class	StatelessVisitedAutomaton
class	StatelessVisitedByAutomaton