|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.yasm.refiner.CBJPredicateAbstractor.CSPVariable
public class CBJPredicateAbstractor.CSPVariable
a boolean CSPVariable
Constructor Summary | |
---|---|
CBJPredicateAbstractor.CSPVariable(int _id,
Expr _expr)
|
Method Summary | |
---|---|
void |
assign(int value,
int level)
|
int |
domainSize()
|
int |
getCurLevel()
returns current level at which this variable is assigned |
int |
getCurScope()
|
int |
getCurVal()
returns current value of this variable |
Expr |
getExpr()
|
int |
getId()
|
boolean |
hasCurrentValue(int i)
return true if 'i' is in the current domain |
int |
maxPrunnedLevel()
|
void |
prune(int pruneLevel)
|
void |
setCurScope(int v)
|
java.lang.String |
toString()
|
void |
undoAssign()
|
int |
unPruneLevel(int pruneLevel)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public CBJPredicateAbstractor.CSPVariable(int _id, Expr _expr)
Method Detail |
---|
public int getId()
public Expr getExpr()
public java.lang.String toString()
toString
in class java.lang.Object
public int getCurVal()
int
valuepublic int getCurLevel()
int
valuepublic void assign(int value, int level)
public void undoAssign()
public void prune(int pruneLevel)
public int unPruneLevel(int pruneLevel)
public int maxPrunnedLevel()
public int domainSize()
public boolean hasCurrentValue(int i)
i
- an int
value
boolean
valuepublic int getCurScope()
public void setCurScope(int v)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |