edu.toronto.cs.smv
Class SMVModule.DeclaredVariables

java.lang.Object
  extended by edu.toronto.cs.smv.SMVModule.DeclaredVariables
Enclosing class:
SMVModule

public class SMVModule.DeclaredVariables
extends java.lang.Object


Constructor Summary
SMVModule.DeclaredVariables()
           
 
Method Summary
 SMVModule.AlgebraDefine declareAlgebraDefine(java.lang.String name)
           
 SMVModule.AlgebraVariable declareAlgebraVariable(java.lang.String name)
           
 SMVModule.IntDefine declareIntDefine(java.lang.String name)
           
 SMVModule.IntVariable declareIntVariable(java.lang.String name, int start, int stop)
           
 SMVModule.Variable get(java.lang.String name)
           
 int getNumDDVars()
           
 int[] getPrimedVariablesIds()
           
 int[] getPrimeMap()
           
 int[] getUnPrimedVariablesIds()
           
 int[] getUnPrimeMap()
           
 java.util.List getVariables()
           
 java.lang.String[] getVarNames()
           
 int size()
          number of declared variables
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SMVModule.DeclaredVariables

public SMVModule.DeclaredVariables()
Method Detail

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