edu.toronto.cs.tp.cvcl
Interface JavaCVCConstants

All Known Implementing Classes:
CVCLConstantMap, CVCLExprConverter, ExprAlgebra, JavaCVC

public interface JavaCVCConstants


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

Field Detail

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