edu.toronto.cs.smv
Class SMVModule.Variable

java.lang.Object
  extended by edu.toronto.cs.smv.SMVModule.Variable
Direct Known Subclasses:
SMVModule.AlgebraDefine, SMVModule.IntDefine
Enclosing class:
SMVModule

public abstract class SMVModule.Variable
extends java.lang.Object


Constructor Summary
SMVModule.Variable(java.lang.String _name)
           
 
Method Summary
 MvSet eq(MvSet v)
           
 MvSet eq(SMVModule.Variable v)
           
 java.lang.String getName()
           
 SMVModule.Variable getNext()
           
 MvSet mvSet()
           
 void setMvSet(MvSet v)
           
 void setNext(SMVModule.Variable v)
           
 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

SMVModule.Variable

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

setMvSet

public void setMvSet(MvSet v)

mvSet

public MvSet mvSet()

getName

public java.lang.String getName()

getNext

public SMVModule.Variable getNext()

setNext

public void setNext(SMVModule.Variable v)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

eq

public MvSet eq(MvSet v)

eq

public MvSet eq(SMVModule.Variable v)

toCTL

public CTLNode toCTL(AlgebraValue[] state)