edu.toronto.cs.smv
Class SMVModule.AlgebraDefine

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

public class SMVModule.AlgebraDefine
extends SMVModule.Variable


Constructor Summary
SMVModule.AlgebraDefine(java.lang.String _name)
           
 
Method Summary
 MvSet and(MvSet v)
           
 MvSet and(SMVModule.AlgebraVariable v)
           
 MvSet not()
           
 MvSet or(MvSet v)
           
 MvSet or(SMVModule.AlgebraVariable v)
           
 int size()
           
 
Methods inherited from class edu.toronto.cs.smv.SMVModule.Variable
eq, eq, getName, getNext, mvSet, setMvSet, setNext, toCTL, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SMVModule.AlgebraDefine

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

size

public int size()

and

public MvSet and(MvSet v)

or

public MvSet or(MvSet v)

not

public MvSet not()

and

public MvSet and(SMVModule.AlgebraVariable v)

or

public MvSet or(SMVModule.AlgebraVariable v)