Uses of Class
uk.ac.man.cs.rainbow.wvmc.StateEngine.Popped

Packages that use StateEngine.Popped

uk.ac.man.cs.rainbow.deadlock	Deadlock and temporal model checking.
uk.ac.man.cs.rainbow.rapa.abstraction	This package provides classes that support abstract interpretation of GCL derived from RAPA.
uk.ac.man.cs.rainbow.wvmc	Classes implementing a model-checker.

Uses of StateEngine.Popped in uk.ac.man.cs.rainbow.deadlock

Subclasses of StateEngine.Popped in uk.ac.man.cs.rainbow.deadlock

class

ModelCheck.AutoState The state of the model checker automata.

Methods in uk.ac.man.cs.rainbow.deadlock that return StateEngine.Popped

StateEngine.Popped	ModelCheck.Engine.backtrack(Boolean value)
StateEngine.Popped	ModelCheck.Engine.pop()

Uses of StateEngine.Popped in uk.ac.man.cs.rainbow.rapa.abstraction

Methods in uk.ac.man.cs.rainbow.rapa.abstraction that return StateEngine.Popped

StateEngine.Popped	Explorer.pop()
StateEngine.Popped	Explorer.backtrack(Boolean value)

Uses of StateEngine.Popped in uk.ac.man.cs.rainbow.wvmc

Methods in uk.ac.man.cs.rainbow.wvmc that return StateEngine.Popped

StateEngine.Popped	StateEngine.Engine.pop() Pop a state off the top of the stack.
StateEngine.Popped	StateEngine.Engine.backtrack(Boolean value) Backtrack from the current state, setting its valuation as we go.