edu.toronto.cs.yasm.refiner
Class CvclCBJPredicateAbstractor

java.lang.Object
  extended by edu.toronto.cs.yasm.refiner.CBJPredicateAbstractor
      extended by edu.toronto.cs.yasm.refiner.CvclCBJPredicateAbstractor

public class CvclCBJPredicateAbstractor
extends CBJPredicateAbstractor


Nested Class Summary
 
Nested classes/interfaces inherited from class edu.toronto.cs.yasm.refiner.CBJPredicateAbstractor
CBJPredicateAbstractor.CSPVariable
 
Constructor Summary
CvclCBJPredicateAbstractor(java.util.List _srcPredicates, Expr _targetPredicate, ValidityChecker _vc)
           
 
Method Summary
 java.util.BitSet checkConsistency(CBJPredicateAbstractor.CSPVariable curVar)
           
 Expr getFExpr()
           
 Expr getTExpr()
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class edu.toronto.cs.yasm.refiner.CBJPredicateAbstractor
pickNextVariable, prune, recSearch
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CvclCBJPredicateAbstractor

public CvclCBJPredicateAbstractor(java.util.List _srcPredicates,
                                  Expr _targetPredicate,
                                  ValidityChecker _vc)
Method Detail

checkConsistency

public java.util.BitSet checkConsistency(CBJPredicateAbstractor.CSPVariable curVar)
Overrides:
checkConsistency in class CBJPredicateAbstractor

getTExpr

public Expr getTExpr()

getFExpr

public Expr getFExpr()

main

public static void main(java.lang.String[] args)