edu.toronto.cs.smv
Class SMVModule.Variable
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
SMVModule.Variable
public SMVModule.Variable(java.lang.String _name)
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)