edu.toronto.cs.expr
Class CVCLConstantMap

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

public class CVCLConstantMap
extends java.lang.Object
implements JavaCVCConstants


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
 
Method Summary
 java.util.Map getBackwardMap()
           
 java.util.Map getForwardMap()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getForwardMap

public java.util.Map getForwardMap()

getBackwardMap

public java.util.Map getBackwardMap()