Uses of Class
de.rwth.i2.attestor.programState.defaultState.DefaultProgramState

Packages that use DefaultProgramState

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

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

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

Modifier and Type	Method and Description
DefaultProgramState	DefaultProgramState.clone()

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

Constructor and Description
DefaultProgramState(DefaultProgramState state) Creates a copy of the state.