edu.toronto.cs.boolpg.abstraction
Class StmtAbstraction

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

public class StmtAbstraction
extends java.lang.Object

Computes abstraction H (tPredicate, fPredicate) for a statement

Version:
1.0
Author:
Xin Ma

Constructor Summary
StmtAbstraction()
           
 
Method Summary
static Expr[] computeH(ValidityChecker vc, java.util.List predicates, Expr tPredicate, java.util.Map varMap)
          Computes H (tPredicate, fPredicate) and returns an Expr array
static void main(java.lang.String[] argv)
          Testing only
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StmtAbstraction

public StmtAbstraction()
Method Detail

computeH

public static Expr[] computeH(ValidityChecker vc,
                              java.util.List predicates,
                              Expr tPredicate,
                              java.util.Map varMap)
Computes H (tPredicate, fPredicate) and returns an Expr array

Parameters:
vc - a ValidityChecker value
predicates - a List value
tPredicate - an Expr value
varMap - a Map value
Returns:
a CVectorExpr value

main

public static void main(java.lang.String[] argv)
                 throws java.lang.Exception
Testing only

Parameters:
argv[] - a String value
Throws:
java.lang.Exception - if an error occurs