edu.toronto.cs.yasm.refiner
Class CFFCPredicateAbstractor
java.lang.Object
edu.toronto.cs.yasm.refiner.CFFCPredicateAbstractor
- Direct Known Subclasses:
- CvclCFFCPredicateAbstractor
public class CFFCPredicateAbstractor
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CFFCPredicateAbstractor
public CFFCPredicateAbstractor(java.util.List _srcPredicates,
Expr _target)
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()