edu.toronto.cs.boolpg.abstraction
Class StmtAbstraction2
java.lang.Object
edu.toronto.cs.boolpg.abstraction.StmtAbstraction2
public class StmtAbstraction2
- extends java.lang.Object
Computes abstraction H (tPredicate, fPredicate) for a statement
- Version:
- 1.0
- Author:
- Xin Ma
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 |
StmtAbstraction2
public StmtAbstraction2()
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
valuepredicates
- a List
valuetPredicate
- an Expr
valuevarMap
- 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