edu.toronto.cs.smv
Class SMVModule.DeclaredVariables
java.lang.Object
edu.toronto.cs.smv.SMVModule.DeclaredVariables
- Enclosing class:
- SMVModule
public class SMVModule.DeclaredVariables
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
SMVModule.DeclaredVariables
public SMVModule.DeclaredVariables()
getVariables
public java.util.List getVariables()
declareAlgebraVariable
public SMVModule.AlgebraVariable declareAlgebraVariable(java.lang.String name)
declareIntVariable
public SMVModule.IntVariable declareIntVariable(java.lang.String name,
int start,
int stop)
declareAlgebraDefine
public SMVModule.AlgebraDefine declareAlgebraDefine(java.lang.String name)
declareIntDefine
public SMVModule.IntDefine declareIntDefine(java.lang.String name)
get
public SMVModule.Variable get(java.lang.String name)
size
public int size()
- number of declared variables
getNumDDVars
public int getNumDDVars()
getVarNames
public java.lang.String[] getVarNames()
getPrimedVariablesIds
public int[] getPrimedVariablesIds()
getUnPrimedVariablesIds
public int[] getUnPrimedVariablesIds()
getUnPrimeMap
public int[] getUnPrimeMap()
getPrimeMap
public int[] getPrimeMap()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object