uk.ac.man.cs.rainbow.deadlock
Class ModelCheck.AutoState

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.wvmc.StateEngine.Popped
        |
        +--uk.ac.man.cs.rainbow.deadlock.ModelCheck.AutoState

All Implemented Interfaces:

Serializable

Enclosing class:

ModelCheck

public class ModelCheck.AutoState

extends StateEngine.Popped

The state of the model checker automata. An automata state includes the proposition labelling from the model as well as all the state in both the major and the minor state.

See Also:

ModelCheck.Evaluator, Serialized Form

Fields inherited from class uk.ac.man.cs.rainbow.wvmc.StateEngine.Popped

B_depth, ctl, dfs, G_depth, gb, op, quantifier

Method Summary

boolean	getProposition(int index) Get the value of a particular proposition.
int	getPropositions() Get the bit-encoded proposition vector.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getPropositions

public int getPropositions()

Get the bit-encoded proposition vector.

See Also:

ModelCheck.Evaluator.evaluatePropositions()

getProposition

public boolean getProposition(int index)

Get the value of a particular proposition.