edu.toronto.cs.tp.cvcl
Interface JavaCVCConstants
- All Known Implementing Classes:
- CVCLConstantMap, CVCLExprConverter, ExprAlgebra, JavaCVC
public interface JavaCVCConstants
NULL_KIND
static final int NULL_KIND
RAW_LIST
static final int RAW_LIST
ID
static final int ID
STRING_EXPR
static final int STRING_EXPR
RATIONAL_EXPR
static final int RATIONAL_EXPR
TRUE
static final int TRUE
FALSE
static final int FALSE
BOOLEAN
static final int BOOLEAN
TUPLETYPE
static final int TUPLETYPE
ARROW
static final int ARROW
TYPE
static final int TYPE
TYPEDECL
static final int TYPEDECL
TYPEDEF
static final int TYPEDEF
EQ
static final int EQ
NEQ
static final int NEQ
NOT
static final int NOT
AND
static final int AND
OR
static final int OR
XOR
static final int XOR
IFF
static final int IFF
IMPLIES
static final int IMPLIES
AND_R
static final int AND_R
IFF_R
static final int IFF_R
ITE_R
static final int ITE_R
ITE
static final int ITE
FORALL
static final int FORALL
EXISTS
static final int EXISTS
UFUNC
static final int UFUNC
ASSERT
static final int ASSERT
QUERY
static final int QUERY
DBG
static final int DBG
TRACE
static final int TRACE
UNTRACE
static final int UNTRACE
OPTION
static final int OPTION
HELP
static final int HELP
TRANSFORM
static final int TRANSFORM
PRINT
static final int PRINT
CALL
static final int CALL
ECHO
static final int ECHO
INCLUDE
static final int INCLUDE
DUMP_PROOF
static final int DUMP_PROOF
DUMP_ASSUMPTIONS
static final int DUMP_ASSUMPTIONS
DUMP_SIG
static final int DUMP_SIG
DUMP_TCC
static final int DUMP_TCC
DUMP_TCC_ASSUMPTIONS
static final int DUMP_TCC_ASSUMPTIONS
DUMP_TCC_PROOF
static final int DUMP_TCC_PROOF
DUMP_CLOSURE
static final int DUMP_CLOSURE
DUMP_CLOSURE_PROOF
static final int DUMP_CLOSURE_PROOF
WHERE
static final int WHERE
COUNTEREXAMPLE
static final int COUNTEREXAMPLE
POP
static final int POP
POP_SCOPE
static final int POP_SCOPE
POPTO
static final int POPTO
PUSH
static final int PUSH
CONTEXT
static final int CONTEXT
FORGET
static final int FORGET
GET_TYPE
static final int GET_TYPE
CHECK_TYPE
static final int CHECK_TYPE
GET_CHILD
static final int GET_CHILD
SUBSTITUTE
static final int SUBSTITUTE
TCC
static final int TCC
VARDECL
static final int VARDECL
VARDECLS
static final int VARDECLS
BOUND_VAR
static final int BOUND_VAR
BOUND_ID
static final int BOUND_ID
UPDATE
static final int UPDATE
UPDATE_SELECT
static final int UPDATE_SELECT
RECORD_TYPE
static final int RECORD_TYPE
FIELD_DECL
static final int FIELD_DECL
REC_LITERAL
static final int REC_LITERAL
REC_ENTRY
static final int REC_ENTRY
REC_SELECT
static final int REC_SELECT
REC_UPDATE
static final int REC_UPDATE
TUPLE
static final int TUPLE
TUPLE_SELECT
static final int TUPLE_SELECT
TUPLE_UPDATE
static final int TUPLE_UPDATE
ARRAY
static final int ARRAY
READ
static final int READ
WRITE
static final int WRITE
CONST_ARRAY
static final int CONST_ARRAY
SUBRANGE
static final int SUBRANGE
SCALARTYPE
static final int SCALARTYPE
SUBTYPE
static final int SUBTYPE
DATATYPE
static final int DATATYPE
CONSTRUCTOR
static final int CONSTRUCTOR
DATATYPE_UPDATE
static final int DATATYPE_UPDATE
IF
static final int IF
IFTHEN
static final int IFTHEN
ELSE
static final int ELSE
LET
static final int LET
LETDECLS
static final int LETDECLS
LETDECL
static final int LETDECL
LAMBDA
static final int LAMBDA
APPLY
static final int APPLY
SIMULATE
static final int SIMULATE
CONSTDEF
static final int CONSTDEF
CONST
static final int CONST
VARLIST
static final int VARLIST
UCONST
static final int UCONST
FUNCDEF
static final int FUNCDEF
REAL
static final int REAL
INT
static final int INT
UMINUS
static final int UMINUS
PLUS
static final int PLUS
MINUS
static final int MINUS
MULT
static final int MULT
DIVIDE
static final int DIVIDE
INTDIV
static final int INTDIV
MOD
static final int MOD
LT
static final int LT
LE
static final int LE
GT
static final int GT
GE
static final int GE
IS_INTEGER
static final int IS_INTEGER
NEGINF
static final int NEGINF
POSINF
static final int POSINF
DARK_SHADOW
static final int DARK_SHADOW
GRAY_SHADOW
static final int GRAY_SHADOW
FLOOR
static final int FLOOR
BITVECTOR
static final int BITVECTOR
CONCAT
static final int CONCAT
BIT_AND
static final int BIT_AND
BIT_NEG
static final int BIT_NEG
EXTRACT
static final int EXTRACT
INT_TO_BV
static final int INT_TO_BV
BV_TO_INT
static final int BV_TO_INT
BOOL_EXTRACT
static final int BOOL_EXTRACT
PF_APPLY
static final int PF_APPLY
PF_HOLE
static final int PF_HOLE
POW
static final int POW
EMPTY
static final int EMPTY
UNION
static final int UNION
INTER
static final int INTER
DIFF
static final int DIFF
SINGLETON
static final int SINGLETON
IN
static final int IN
INCS
static final int INCS
INCIN
static final int INCIN
LAST_KIND
static final int LAST_KIND