edu.toronto.cs.yasm.refiner
Class CvclCFFCPredicateAbstractor

java.lang.Object
  extended by edu.toronto.cs.yasm.refiner.CFFCPredicateAbstractor
      extended by edu.toronto.cs.yasm.refiner.CvclCFFCPredicateAbstractor

public class CvclCFFCPredicateAbstractor
extends CFFCPredicateAbstractor


Nested Class Summary
 
Nested classes/interfaces inherited from class edu.toronto.cs.yasm.refiner.CFFCPredicateAbstractor
CFFCPredicateAbstractor.CSPVariable
 
Constructor Summary
CvclCFFCPredicateAbstractor(java.util.List _srcPredicates, Expr _targetPredicate, ValidityChecker _vc)
           
 
Method Summary
 void forwardCheckCF(CFFCPredicateAbstractor.CSPVariable currentVar, int level)
           
 Expr getFExpr()
           
 Expr getTExpr()
          returns TRUE if assumptions => target, returns FALSE if assumpitions => !target returns null otherwise
static void main(java.lang.String[] args)
           
 
Methods inherited from class edu.toronto.cs.yasm.refiner.CFFCPredicateAbstractor
checkConsistency, pickNextVariable, prune, prune, recSearch
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CvclCFFCPredicateAbstractor

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

forwardCheckCF

public void forwardCheckCF(CFFCPredicateAbstractor.CSPVariable currentVar,
                           int level)
Overrides:
forwardCheckCF in class CFFCPredicateAbstractor

getTExpr

public Expr getTExpr()
returns TRUE if assumptions => target, returns FALSE if assumpitions => !target returns null otherwise

Parameters:
target - an Expr value
Returns:
a Boolean value

getFExpr

public Expr getFExpr()

main

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