edu.toronto.cs.smv
Class VariableTable.DefineVariable

java.lang.Object
  extended by edu.toronto.cs.smv.VariableTable.Variable
      extended by edu.toronto.cs.smv.VariableTable.StateVariable
          extended by edu.toronto.cs.smv.VariableTable.DefineVariable
Enclosing class:
VariableTable

public class VariableTable.DefineVariable
extends VariableTable.StateVariable


Constructor Summary
VariableTable.DefineVariable(java.lang.String name, MvSet value)
           
 
Method Summary
 int size()
           
 
Methods inherited from class edu.toronto.cs.smv.VariableTable.StateVariable
eq, eq, eq, eq, eqNext, getId, getMvSet, toCTL, toString
 
Methods inherited from class edu.toronto.cs.smv.VariableTable.Variable
getName, getNext, isPostState, isPreState, setNext
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VariableTable.DefineVariable

public VariableTable.DefineVariable(java.lang.String name,
                                    MvSet value)
Method Detail

size

public int size()
Overrides:
size in class VariableTable.StateVariable