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

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ModelCheck.AutoState

Enclosing class:

StateEngine

public static class StateEngine.Popped

extends Object

implements Serializable

The data returned when an action happens that removes a state from the stack.

See Also:

StateEngine.Engine.pop(), StateEngine.Engine.backtrack(Boolean), Serialized Form

Field Summary

int	B_depth
boolean	ctl
boolean	dfs
int	G_depth
int	gb
int	op
int	quantifier

Constructor Summary

StateEngine.Popped()

Methods inherited from class java.lang.Object

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

Field Detail

op

public int op

quantifier

public int quantifier

gb

public int gb

B_depth

public int B_depth

G_depth

public int G_depth

ctl

public boolean ctl

dfs

public boolean dfs

Constructor Detail

StateEngine.Popped

public StateEngine.Popped()