Uses of Interface
de.rwth.i2.attestor.stateSpaceGeneration.LabelledProgramState

Packages that use LabelledProgramState

Package	Description
de.rwth.i2.attestor.programState
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.programState.indexedState
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Uses of LabelledProgramState in de.rwth.i2.attestor.programState

Classes in de.rwth.i2.attestor.programState that implement LabelledProgramState

Modifier and Type	Class and Description
class	GeneralProgramState A general implementation of program states that comprises most functionality when analyzing Jimple programs.

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

Classes in de.rwth.i2.attestor.programState.defaultState that implement LabelledProgramState

Modifier and Type	Class and Description
class	DefaultProgramState Simple implementation of program states for HRG-based analysis.

Uses of LabelledProgramState in de.rwth.i2.attestor.programState.indexedState

Classes in de.rwth.i2.attestor.programState.indexedState that implement LabelledProgramState

Modifier and Type	Class and Description
class	IndexedState

Uses of LabelledProgramState in de.rwth.i2.attestor.stateSpaceGeneration

Subinterfaces of LabelledProgramState in de.rwth.i2.attestor.stateSpaceGeneration

Modifier and Type	Interface and Description
interface	ProgramState An abstraction of a single state in a StateSpace.