edu.toronto.cs.smv
Class VariableTable.Variable

java.lang.Object
  extended by 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


Constructor Summary
VariableTable.Variable(java.lang.String _name)
           
 
Method Summary
abstract  MvSet eq(MvSet v)
           
abstract  MvSet eq(java.lang.String v)
           
abstract  MvSet eq(VariableTable.Variable v)
           
abstract  MvSet eqNext()
           
 java.lang.String getName()
           
 VariableTable.Variable getNext()
           
 boolean isPostState()
           
 boolean isPreState()
           
 void setNext(VariableTable.Variable v)
           
 int size()
           
abstract  CTLNode toCTL(AlgebraValue[] state)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VariableTable.Variable

public VariableTable.Variable(java.lang.String _name)
Method Detail

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()