Uses of Class
de.rwth.i2.attestor.refinement.HeapAutomatonState

Packages that use HeapAutomatonState

Package	Description
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.refinement
de.rwth.i2.attestor.refinement.pointsTo
de.rwth.i2.attestor.refinement.product
de.rwth.i2.attestor.refinement.reachability

Uses of HeapAutomatonState in de.rwth.i2.attestor.programState.defaultState

Methods in de.rwth.i2.attestor.programState.defaultState that return HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	RefinedDefaultNonterminal.getState()

Methods in de.rwth.i2.attestor.programState.defaultState with parameters of type HeapAutomatonState

Modifier and Type	Method and Description
RefinedNonterminal	RefinedDefaultNonterminal.withState(HeapAutomatonState state)

Constructors in de.rwth.i2.attestor.programState.defaultState with parameters of type HeapAutomatonState

Constructor and Description
RefinedDefaultNonterminal(Nonterminal nonterminal, HeapAutomatonState state)

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

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

Modifier and Type	Method and Description
HeapAutomatonState	RefinedNonterminal.getState()
HeapAutomatonState	HeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

Modifier and Type	Method and Description
boolean	HeapAutomaton.isInitialState(HeapAutomatonState heapAutomatonState)
RefinedNonterminal	RefinedNonterminal.withState(HeapAutomatonState state) Provides the same symbol with the provided annotation.

Method parameters in de.rwth.i2.attestor.refinement with type arguments of type HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	HeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

Methods in de.rwth.i2.attestor.refinement.pointsTo that return HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	PointsToHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

Modifier and Type	Method and Description
boolean	PointsToHeapAutomaton.isInitialState(HeapAutomatonState heapAutomatonState)

Method parameters in de.rwth.i2.attestor.refinement.pointsTo with type arguments of type HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	PointsToHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

Methods in de.rwth.i2.attestor.refinement.product that return HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	ProductHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

Modifier and Type	Method and Description
boolean	ProductHeapAutomaton.isInitialState(HeapAutomatonState heapAutomatonState)

Method parameters in de.rwth.i2.attestor.refinement.product with type arguments of type HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	ProductHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

Methods in de.rwth.i2.attestor.refinement.reachability that return HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	ReachabilityHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

Modifier and Type	Method and Description
boolean	ReachabilityHeapAutomaton.isInitialState(HeapAutomatonState heapAutomatonState)

Method parameters in de.rwth.i2.attestor.refinement.reachability with type arguments of type HeapAutomatonState

Modifier and Type	Method and Description
HeapAutomatonState	ReachabilityHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)