|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.yasm.refiner.CFFCPredicateAbstractor.CSPVariable
public class CFFCPredicateAbstractor.CSPVariable
a boolean CSPVariable
Constructor Summary | |
---|---|
CFFCPredicateAbstractor.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 |
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 |
prune(int pruneLevel,
int i)
|
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 CFFCPredicateAbstractor.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, int i)
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
value
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |