edu.toronto.cs.yasm.refiner
Class CBJPredicateAbstractor

java.lang.Object
  extended by edu.toronto.cs.yasm.refiner.CBJPredicateAbstractor
Direct Known Subclasses:
CvclCBJPredicateAbstractor

public class CBJPredicateAbstractor
extends java.lang.Object


Nested Class Summary
 class CBJPredicateAbstractor.CSPVariable
          a boolean CSPVariable
 
Constructor Summary
CBJPredicateAbstractor(java.util.List _srcPredicates, Expr _target)
           
 
Method Summary
 java.util.BitSet checkConsistency(CBJPredicateAbstractor.CSPVariable var)
           
 CBJPredicateAbstractor.CSPVariable pickNextVariable()
           
 void prune(CBJPredicateAbstractor.CSPVariable curVar, int pruneLevel)
           
 int recSearch(int level)
          Describe recSearch method here.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CBJPredicateAbstractor

public CBJPredicateAbstractor(java.util.List _srcPredicates,
                              Expr _target)
Method Detail

recSearch

public int recSearch(int level)
Describe recSearch method here.

Parameters:
level - an int value
Returns:
an int value

prune

public void prune(CBJPredicateAbstractor.CSPVariable curVar,
                  int pruneLevel)

checkConsistency

public java.util.BitSet checkConsistency(CBJPredicateAbstractor.CSPVariable var)

pickNextVariable

public CBJPredicateAbstractor.CSPVariable pickNextVariable()