edu.toronto.cs.smv
Class VariableTable

java.lang.Object
  extended by edu.toronto.cs.smv.VariableTable

public class VariableTable
extends java.lang.Object


Nested Class Summary
static class VariableTable.CaseTranslator
           
 class VariableTable.DefineVariable
           
 class VariableTable.EnumeratedVariable
           
 class VariableTable.StateVariable
           
 class VariableTable.Variable
           
 
Constructor Summary
VariableTable()
           
 
Method Summary
 VariableTable.DefineVariable declareDefine(java.lang.String name, MvSet value)
           
 VariableTable.EnumeratedVariable declareEnumerated(java.lang.String name, java.util.Collection values)
           
 VariableTable.EnumeratedVariable declareEnumerated(java.lang.String name, java.lang.String[] values)
           
 VariableTable.StateVariable declarePropositional(java.lang.String name)
           
 void dump()
           
 VariableTable.Variable getByName(java.lang.String name)
           
 CTLReWriter getCtlReWriter()
           
 MvSetFactory getMvSetFactory()
           
 int getNumDDVars()
           
 int getNumVars()
           
 int[] getPrimedVariablesIds()
           
 int[] getPrimeMap()
           
 StatePresenter getStatePresenter()
           
 int[] getUnPrimedVariablesIds()
           
 int[] getUnPrimeMap()
           
 java.util.Collection getVariables()
           
 java.lang.String[] getVarNames()
           
 CTLNode handleUnknownVariable(java.lang.String name)
           
 void setMvSetFactory(MvSetFactory _factory)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VariableTable

public VariableTable()
Method Detail

toString

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

setMvSetFactory

public void setMvSetFactory(MvSetFactory _factory)

getMvSetFactory

public MvSetFactory getMvSetFactory()

declareDefine

public VariableTable.DefineVariable declareDefine(java.lang.String name,
                                                  MvSet value)

declareEnumerated

public VariableTable.EnumeratedVariable declareEnumerated(java.lang.String name,
                                                          java.util.Collection values)

declareEnumerated

public VariableTable.EnumeratedVariable declareEnumerated(java.lang.String name,
                                                          java.lang.String[] values)

declarePropositional

public VariableTable.StateVariable declarePropositional(java.lang.String name)

getNumVars

public int getNumVars()

getNumDDVars

public int getNumDDVars()

getByName

public VariableTable.Variable getByName(java.lang.String name)

getVarNames

public java.lang.String[] getVarNames()

getVariables

public java.util.Collection getVariables()

dump

public void dump()

handleUnknownVariable

public CTLNode handleUnknownVariable(java.lang.String name)

getCtlReWriter

public CTLReWriter getCtlReWriter()

getStatePresenter

public StatePresenter getStatePresenter()

getPrimeMap

public int[] getPrimeMap()

getUnPrimeMap

public int[] getUnPrimeMap()

getPrimedVariablesIds

public int[] getPrimedVariablesIds()

getUnPrimedVariablesIds

public int[] getUnPrimedVariablesIds()