edu.toronto.cs.yasm.refiner
Class CFFCPredicateAbstractor

java.lang.Object
  extended by edu.toronto.cs.yasm.refiner.CFFCPredicateAbstractor
Direct Known Subclasses:
CvclCFFCPredicateAbstractor

public class CFFCPredicateAbstractor
extends java.lang.Object


Nested Class Summary
 class CFFCPredicateAbstractor.CSPVariable
          a boolean CSPVariable
 
Constructor Summary
CFFCPredicateAbstractor(java.util.List _srcPredicates, Expr _target)
           
 
Method Summary
 java.util.BitSet checkConsistency(CFFCPredicateAbstractor.CSPVariable var)
           
 void forwardCheckCF(CFFCPredicateAbstractor.CSPVariable curVar, int level)
           
 CFFCPredicateAbstractor.CSPVariable pickNextVariable()
           
 void prune(CFFCPredicateAbstractor.CSPVariable curVar, int pruneLevel)
           
 void prune(CFFCPredicateAbstractor.CSPVariable curVar, int pruneLevel, int i)
           
 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

CFFCPredicateAbstractor

public CFFCPredicateAbstractor(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

forwardCheckCF

public void forwardCheckCF(CFFCPredicateAbstractor.CSPVariable curVar,
                           int level)

prune

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

prune

public void prune(CFFCPredicateAbstractor.CSPVariable curVar,
                  int pruneLevel,
                  int i)

checkConsistency

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

pickNextVariable

public CFFCPredicateAbstractor.CSPVariable pickNextVariable()