edu.toronto.cs.yasm.refiner
Class CBJPredicateAbstractor.CSPVariable

java.lang.Object
  extended by edu.toronto.cs.yasm.refiner.CBJPredicateAbstractor.CSPVariable
Enclosing class:
CBJPredicateAbstractor

public class CBJPredicateAbstractor.CSPVariable
extends java.lang.Object

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

CBJPredicateAbstractor.CSPVariable

public CBJPredicateAbstractor.CSPVariable(int _id,
                                          Expr _expr)
Method Detail

getId

public int getId()

getExpr

public Expr getExpr()

toString

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

getCurVal

public int getCurVal()
returns current value of this variable

Returns:
an int value

getCurLevel

public int getCurLevel()
returns current level at which this variable is assigned

Returns:
an int value

assign

public void assign(int value,
                   int level)

undoAssign

public void undoAssign()

prune

public void prune(int pruneLevel)

unPruneLevel

public int unPruneLevel(int pruneLevel)

maxPrunnedLevel

public int maxPrunnedLevel()

domainSize

public int domainSize()

hasCurrentValue

public boolean hasCurrentValue(int i)
return true if 'i' is in the current domain

Parameters:
i - an int value
Returns:
a boolean value

getCurScope

public int getCurScope()

setCurScope

public void setCurScope(int v)