Uses of Interface
dev.civl.mc.state.IF.ProcessState

Packages that use ProcessState

Package	Description
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Uses of ProcessState in dev.civl.mc.state.IF

Methods in dev.civl.mc.state.IF that return ProcessState

Modifier and Type	Method	Description
ProcessState	ProcessState.decrementAtomicCount()	Decrease the atomic block counter.
ProcessState	State.getProcessState(int pid)	Returns the process state for the pid-th process.
ProcessState	ProcessState.incrementAtomicCount()	Increase the atomic block counter.

Methods in dev.civl.mc.state.IF that return types with arguments of type ProcessState

Modifier and Type	Method	Description
Iterable<? extends ProcessState>	State.getProcessStates()	Returns the set of process states as an Iterable.

Methods in dev.civl.mc.state.IF with parameters of type ProcessState

Modifier and Type	Method	Description
State	StateFactory.setProcessState(State state, ProcessState processState)	Updates the state by replacing the process state with the given one where the PID of the old process state is the same as the given process state.