edu.toronto.cs.expr
Class CVCLExprConverter

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

public class CVCLExprConverter
extends java.lang.Object
implements JavaCVCConstants

CVCLExprConverter.java Created: Thu Jul 1 11:54:27 2004

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
CVCLExprConverter(ExprFactory _fac, ValidityChecker _vc, java.util.Map _map)
           
 
Method Summary
 Expr fromCVCL(Expr expr)
           
 Expr linearize(Expr e)
           
static void main(java.lang.String[] args)
           
 Expr toCVCL(Expr expr)
           
 java.util.List toCVCL(java.util.List l)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CVCLExprConverter

public CVCLExprConverter(ExprFactory _fac,
                         ValidityChecker _vc,
                         java.util.Map _map)
Method Detail

linearize

public Expr linearize(Expr e)

toCVCL

public java.util.List toCVCL(java.util.List l)

toCVCL

public Expr toCVCL(Expr expr)

fromCVCL

public Expr fromCVCL(Expr expr)

main

public static void main(java.lang.String[] args)