edu.toronto.cs.expr
Class ExprAlgebra

java.lang.Object
  extended by edu.toronto.cs.expr.ExprAlgebra
All Implemented Interfaces:
JavaCVCConstants

public class ExprAlgebra
extends java.lang.Object
implements JavaCVCConstants

Describe class ExprAlgebra here.

Version:
1.0
Author:
Xin Ma

Field Summary
 
Fields inherited from interface edu.toronto.cs.tp.cvcl.JavaCVCConstants
AND, AND_R, APPLY, ARRAY, ARROW, ASSERT, BIT_AND, BIT_NEG, BITVECTOR, BOOL_EXTRACT, BOOLEAN, BOUND_ID, BOUND_VAR, BV_TO_INT, CALL, CHECK_TYPE, CONCAT, CONST, CONST_ARRAY, CONSTDEF, CONSTRUCTOR, CONTEXT, COUNTEREXAMPLE, DARK_SHADOW, DATATYPE, DATATYPE_UPDATE, DBG, DIFF, DIVIDE, DUMP_ASSUMPTIONS, DUMP_CLOSURE, DUMP_CLOSURE_PROOF, DUMP_PROOF, DUMP_SIG, DUMP_TCC, DUMP_TCC_ASSUMPTIONS, DUMP_TCC_PROOF, ECHO, ELSE, EMPTY, EQ, EXISTS, EXTRACT, FALSE, FIELD_DECL, FLOOR, FORALL, FORGET, FUNCDEF, GE, GET_CHILD, GET_TYPE, GRAY_SHADOW, GT, HELP, ID, IF, IFF, IFF_R, IFTHEN, IMPLIES, IN, INCIN, INCLUDE, INCS, INT, INT_TO_BV, INTDIV, INTER, IS_INTEGER, ITE, ITE_R, LAMBDA, LAST_KIND, LE, LET, LETDECL, LETDECLS, LT, MINUS, MOD, MULT, NEGINF, NEQ, NOT, NULL_KIND, OPTION, OR, PF_APPLY, PF_HOLE, PLUS, POP, POP_SCOPE, POPTO, POSINF, POW, PRINT, PUSH, QUERY, RATIONAL_EXPR, RAW_LIST, READ, REAL, REC_ENTRY, REC_LITERAL, REC_SELECT, REC_UPDATE, RECORD_TYPE, SCALARTYPE, SIMULATE, SINGLETON, STRING_EXPR, SUBRANGE, SUBSTITUTE, SUBTYPE, TCC, TRACE, TRANSFORM, TRUE, TUPLE, TUPLE_SELECT, TUPLE_UPDATE, TUPLETYPE, TYPE, TYPEDECL, TYPEDEF, UCONST, UFUNC, UMINUS, UNION, UNTRACE, UPDATE, UPDATE_SELECT, VARDECL, VARDECLS, VARLIST, WHERE, WRITE, XOR
 
Constructor Summary
ExprAlgebra(ExprFactory _fac)
           
 
Method Summary
 Expr linearize(Expr e, int sign)
           
 Expr moveToLeft(Expr e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExprAlgebra

public ExprAlgebra(ExprFactory _fac)
Method Detail

linearize

public Expr linearize(Expr e,
                      int sign)

moveToLeft

public Expr moveToLeft(Expr e)