|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.yasm.pprogram.PredicateTable
public class PredicateTable
Describe class VariableTable
here.
Symbol table that keeps track of variables.
Since we often need several copies of the same variable, for example,
current and next state, or even next next state, we support arbitrary
number of shadow variables.
Nested Class Summary | |
---|---|
class |
PredicateTable.AddPredicate
|
class |
PredicateTable.IntVariable
|
class |
PredicateTable.Predicate
|
Constructor Summary | |
---|---|
PredicateTable()
|
Method Summary | |
---|---|
PredicateTable.Predicate |
__newPredicate(Expr name)
Adds a new predicate with a name 'name'. |
void |
dump()
|
PredicateTable.Predicate |
getByCtlName(java.lang.String name)
|
PredicateTable.Predicate |
getByName(Expr name)
|
MvSetFactory |
getMvSetFactory()
|
int |
getNumVars()
|
int[] |
getVariableIds(int set)
Describe getVariableIds method here. |
java.util.Collection |
getVariables()
|
static void |
main(java.lang.String[] args)
|
PredicateTable.IntVariable |
newIntVar(Expr name,
int range)
|
PredicateTable.Predicate |
newPredicate(Expr name)
newPredicate creates a new predicate corresponding
to name. |
int |
primaryBitSize()
|
void |
setMvSetFactory(MvSetFactory _factory)
|
java.lang.String |
toString()
|
int[] |
variableMap(int fromSet,
int toSet)
Describe variableMap method here. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public PredicateTable()
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
public void setMvSetFactory(MvSetFactory _factory)
public MvSetFactory getMvSetFactory()
public PredicateTable.Predicate __newPredicate(Expr name)
name
- an Expr
value
Predicate
valuepublic PredicateTable.Predicate newPredicate(Expr name)
newPredicate
creates a new predicate corresponding
to name. Use this with ADD based MvSets such as JCUDDBelnapMvSet
and JCUDDMvSet
name
- an Expr
value
Predicate
valuepublic PredicateTable.IntVariable newIntVar(Expr name, int range)
public int getNumVars()
public PredicateTable.Predicate getByName(Expr name)
public PredicateTable.Predicate getByCtlName(java.lang.String name)
public java.util.Collection getVariables()
public void dump()
public int[] variableMap(int fromSet, int toSet)
variableMap
method here. returns an
integer array that maps variables in the 'fromSet' to variables
in the 'toSet'. For example, variableMap (0, 1) returns a map
that maps 0 variables to 1 variables. The intention is that 0
variables are current variables, and 1 variables are next state
variables, in which case we get a map from current to next state
fromSet
- an int
valuetoSet
- an int
value
int[]
valuepublic int primaryBitSize()
public int[] getVariableIds(int set)
getVariableIds
method here.
returns ids of all of the variables in set set
set
- an int
value
int[]
valuepublic static void main(java.lang.String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |