edu.toronto.cs.tp.cvcl.test
Class ExampleMethods
java.lang.Object
edu.toronto.cs.tp.cvcl.test.ExampleMethods
public class ExampleMethods
- extends java.lang.Object
Method Summary |
static void |
add(ValidityChecker vc,
CVectorExpr a,
CVectorExpr b,
CVectorExpr sum)
|
static Expr |
carry(ValidityChecker vc,
Expr a,
Expr b,
Expr c)
|
static void |
check(ValidityChecker vc,
Expr e)
|
static Expr |
createTestFormula(ValidityChecker vc,
Expr i1,
Expr i2,
Expr r1,
Expr r2)
|
static Expr |
CVectorExprq(ValidityChecker vc,
CVectorExpr a,
CVectorExpr b)
|
static void |
findLeaves(Expr e,
CVectorExpr l)
|
static Expr |
halfadder(ValidityChecker vc,
Expr a,
Expr b,
Expr c)
|
static boolean |
hasij(Expr e,
Expr i,
Expr j)
|
static Expr |
ltLex(ValidityChecker vc,
Expr i1,
Expr i2,
Expr j1,
Expr j2)
|
static void |
newAssertion(ValidityChecker vc,
Expr e)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ExampleMethods
public ExampleMethods()
check
public static void check(ValidityChecker vc,
Expr e)
newAssertion
public static void newAssertion(ValidityChecker vc,
Expr e)
ltLex
public static Expr ltLex(ValidityChecker vc,
Expr i1,
Expr i2,
Expr j1,
Expr j2)
createTestFormula
public static Expr createTestFormula(ValidityChecker vc,
Expr i1,
Expr i2,
Expr r1,
Expr r2)
findLeaves
public static void findLeaves(Expr e,
CVectorExpr l)
hasij
public static boolean hasij(Expr e,
Expr i,
Expr j)
add
public static void add(ValidityChecker vc,
CVectorExpr a,
CVectorExpr b,
CVectorExpr sum)
halfadder
public static Expr halfadder(ValidityChecker vc,
Expr a,
Expr b,
Expr c)
carry
public static Expr carry(ValidityChecker vc,
Expr a,
Expr b,
Expr c)
CVectorExprq
public static Expr CVectorExprq(ValidityChecker vc,
CVectorExpr a,
CVectorExpr b)