edu.toronto.cs.tp.cvcl.test
Class ExampleMethods

java.lang.Object
  extended by edu.toronto.cs.tp.cvcl.test.ExampleMethods

public class ExampleMethods
extends java.lang.Object


Constructor Summary
ExampleMethods()
           
 
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
 

Constructor Detail

ExampleMethods

public ExampleMethods()
Method Detail

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)