edu.toronto.cs.smv
Class VariableTable.Variable
java.lang.Object
edu.toronto.cs.smv.VariableTable.Variable
- Direct Known Subclasses:
- VariableTable.EnumeratedVariable, VariableTable.StateVariable
- Enclosing class:
- VariableTable
public abstract class VariableTable.Variable
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
VariableTable.Variable
public VariableTable.Variable(java.lang.String _name)
getName
public java.lang.String getName()
getNext
public VariableTable.Variable getNext()
setNext
public void setNext(VariableTable.Variable v)
isPostState
public boolean isPostState()
isPreState
public boolean isPreState()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
eq
public abstract MvSet eq(VariableTable.Variable v)
eqNext
public abstract MvSet eqNext()
eq
public abstract MvSet eq(MvSet v)
eq
public abstract MvSet eq(java.lang.String v)
toCTL
public abstract CTLNode toCTL(AlgebraValue[] state)
size
public int size()