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

Packages that use HeapAutomaton

Package	Description
de.rwth.i2.attestor.refinement
de.rwth.i2.attestor.refinement.grammarRefinement
de.rwth.i2.attestor.refinement.pointsTo
de.rwth.i2.attestor.refinement.product
de.rwth.i2.attestor.refinement.reachability

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

Methods in de.rwth.i2.attestor.refinement that return HeapAutomaton

Modifier and Type	Method and Description
HeapAutomaton	AutomatonStateLabelingStrategyBuilder.getProductAutomaton()

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

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

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

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

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

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

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

Uses of HeapAutomaton in de.rwth.i2.attestor.refinement.pointsTo

Classes in de.rwth.i2.attestor.refinement.pointsTo that implement HeapAutomaton

Modifier and Type	Class and Description
class	PointsToHeapAutomaton

Uses of HeapAutomaton in de.rwth.i2.attestor.refinement.product

Classes in de.rwth.i2.attestor.refinement.product that implement HeapAutomaton

Modifier and Type	Class and Description
class	ProductHeapAutomaton

Constructors in de.rwth.i2.attestor.refinement.product with parameters of type HeapAutomaton

Constructor and Description
ProductHeapAutomaton(HeapAutomaton... automata)

Uses of HeapAutomaton in de.rwth.i2.attestor.refinement.reachability

Classes in de.rwth.i2.attestor.refinement.reachability that implement HeapAutomaton

Modifier and Type	Class and Description
class	ReachabilityHeapAutomaton