Uses of Class
de.rwth.i2.attestor.programState.GeneralProgramState

Packages that use GeneralProgramState

Package	Description
de.rwth.i2.attestor.programState
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.programState.indexedState

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

Methods in de.rwth.i2.attestor.programState that return GeneralProgramState

Modifier and Type	Method and Description
abstract GeneralProgramState	GeneralProgramState.clone()

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

Constructor and Description
GeneralProgramState(GeneralProgramState state) Creates a shallow copy of a program state.

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

Subclasses of GeneralProgramState in de.rwth.i2.attestor.programState.defaultState

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

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

Subclasses of GeneralProgramState in de.rwth.i2.attestor.programState.indexedState

Modifier and Type	Class and Description
class	IndexedState