edu.toronto.cs.boolpg.abstraction
Class StatementAbstraction

java.lang.Object
  extended by edu.toronto.cs.boolpg.abstraction.StatementAbstraction

public class StatementAbstraction
extends java.lang.Object


Constructor Summary
StatementAbstraction(ValidityChecker _vc)
           
 
Method Summary
 void branchRefinement(java.util.List _allPreds, int _targetIndex, java.util.List _tPredicate)
           
 java.util.List getFalsePreds()
           
 java.util.List getTruePreds()
           
 void printMe()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StatementAbstraction

public StatementAbstraction(ValidityChecker _vc)
Method Detail

getTruePreds

public java.util.List getTruePreds()

getFalsePreds

public java.util.List getFalsePreds()

branchRefinement

public void branchRefinement(java.util.List _allPreds,
                             int _targetIndex,
                             java.util.List _tPredicate)

printMe

public void printMe()