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