fmrisc.ProofNavigator

Interface PNParserTokenTypes

All Known Implementing Classes:

PNLexer, PNParser

public interface PNParserTokenTypes

Field Summary

Fields

Modifier and Type	Field and Description
static int	ARROW
static int	ASSIGNMENT
static int	BITAND
static int	BITNOT
static int	BITOR
static int	COLON
static int	COMMA
static int	COMMENT
static int	DIGIT
static int	DIVIDES
static int	DOTDOT
static int	EOF
static int	EOL
static int	EQUALITY
static int	EQUIV
static int	GREATER
static int	GREATEREQ
static int	IDENT
static int	IGNORE
static int	IMPLIES
static int	LABEL
static int	LBRACK
static int	LBRACKGRID
static int	LESS
static int	LESSEQ
static int	LETTER
static int	LITERAL_AND
static int	LITERAL_ARRAY
static int	LITERAL_assume
static int	LITERAL_auto
static int	LITERAL_autostar
static int	LITERAL_AXIOM
static int	LITERAL_BIT
static int	LITERAL_BITFALSE
static int	LITERAL_BITTRUE
static int	LITERAL_BOOLEAN
static int	LITERAL_case
static int	LITERAL_counterexample
static int	LITERAL_decompose
static int	LITERAL_ELSE
static int	LITERAL_ELSIF
static int	LITERAL_ENDIF
static int	LITERAL_environment
static int	LITERAL_EXISTS
static int	LITERAL_expand
static int	LITERAL_FALSE
static int	LITERAL_flatten
static int	LITERAL_flip
static int	LITERAL_FORALL
static int	LITERAL_FORMULA
static int	LITERAL_goal
static int	LITERAL_goto
static int	LITERAL_IF
static int	LITERAL_in
static int	LITERAL_IN
static int	LITERAL_induction
static int	LITERAL_instantiate
static int	LITERAL_INT
static int	LITERAL_LAMBDA
static int	LITERAL_lemma
static int	LITERAL_LET
static int	LITERAL_LOGICAL
static int	LITERAL_LOGICALFALSE
static int	LITERAL_LOGICALTRUE
static int	LITERAL_NAT
static int	LITERAL_newcontext
static int	LITERAL_next
static int	LITERAL_NOT
static int	LITERAL_OF
static int	LITERAL_open
static int	LITERAL_option
static int	LITERAL_OR
static int	LITERAL_prev
static int	LITERAL_printf
static int	LITERAL_printt
static int	LITERAL_printv
static int	LITERAL_proof
static int	LITERAL_prove
static int	LITERAL_quit
static int	LITERAL_read
static int	LITERAL_REAL
static int	LITERAL_redo
static int	LITERAL_scatter
static int	LITERAL_simplify
static int	LITERAL_skolemize
static int	LITERAL_split
static int	LITERAL_state
static int	LITERAL_SUBTYPE
static int	LITERAL_tcc
static int	LITERAL_THEN
static int	LITERAL_TRUE
static int	LITERAL_TYPE
static int	LITERAL_typeaxiom
static int	LITERAL_undo
static int	LITERAL_WITH
static int	LITERAL_XOR
static int	LPAR
static int	LPARGRID
static int	MINUS
static int	NONEQUALITY
static int	NULL_TREE_LOOKAHEAD
static int	NUMBER
static int	PERIOD
static int	PLUS
static int	POWER
static int	RBRACK
static int	RBRACKGRID
static int	REALLETTER
static int	RPAR
static int	RPARGRID
static int	SEMICOLON
static int	STRING
static int	TIMES
static int	UNDERSCORE
static int	WS

Field Detail

EOF

static final int EOF

See Also:

Constant Field Values

NULL_TREE_LOOKAHEAD

static final int NULL_TREE_LOOKAHEAD

See Also:

Constant Field Values

SEMICOLON

static final int SEMICOLON

See Also:

Constant Field Values

LITERAL_tcc

static final int LITERAL_tcc

See Also:

Constant Field Values

LITERAL_prove

static final int LITERAL_prove

See Also:

Constant Field Values

IDENT

static final int IDENT

See Also:

Constant Field Values

LITERAL_flip

static final int LITERAL_flip

See Also:

Constant Field Values

LABEL

static final int LABEL

See Also:

Constant Field Values

LITERAL_goal

static final int LITERAL_goal

See Also:

Constant Field Values

LITERAL_skolemize

static final int LITERAL_skolemize

See Also:

Constant Field Values

LITERAL_flatten

static final int LITERAL_flatten

See Also:

Constant Field Values

LITERAL_split

static final int LITERAL_split

See Also:

Constant Field Values

LITERAL_simplify

static final int LITERAL_simplify

See Also:

Constant Field Values

LITERAL_decompose

static final int LITERAL_decompose

See Also:

Constant Field Values

LITERAL_scatter

static final int LITERAL_scatter

See Also:

Constant Field Values

LITERAL_auto

static final int LITERAL_auto

See Also:

Constant Field Values

LITERAL_autostar

static final int LITERAL_autostar

See Also:

Constant Field Values

LITERAL_counterexample

static final int LITERAL_counterexample

See Also:

Constant Field Values

LITERAL_assume

static final int LITERAL_assume

See Also:

Constant Field Values

LITERAL_case

static final int LITERAL_case

See Also:

Constant Field Values

LITERAL_lemma

static final int LITERAL_lemma

See Also:

Constant Field Values

LITERAL_instantiate

static final int LITERAL_instantiate

See Also:

Constant Field Values

LITERAL_in

static final int LITERAL_in

See Also:

Constant Field Values

LITERAL_typeaxiom

static final int LITERAL_typeaxiom

See Also:

Constant Field Values

LITERAL_expand

static final int LITERAL_expand

See Also:

Constant Field Values

LITERAL_induction

static final int LITERAL_induction

See Also:

Constant Field Values

LITERAL_open

static final int LITERAL_open

See Also:

Constant Field Values

LITERAL_next

static final int LITERAL_next

See Also:

Constant Field Values

LITERAL_prev

static final int LITERAL_prev

See Also:

Constant Field Values

LITERAL_goto

static final int LITERAL_goto

See Also:

Constant Field Values

LITERAL_undo

static final int LITERAL_undo

See Also:

Constant Field Values

LITERAL_redo

static final int LITERAL_redo

See Also:

Constant Field Values

LITERAL_environment

static final int LITERAL_environment

See Also:

Constant Field Values

LITERAL_proof

static final int LITERAL_proof

See Also:

Constant Field Values

LITERAL_state

static final int LITERAL_state

See Also:

Constant Field Values

LITERAL_printt

static final int LITERAL_printt

See Also:

Constant Field Values

LITERAL_printv

static final int LITERAL_printv

See Also:

Constant Field Values

LITERAL_printf

static final int LITERAL_printf

See Also:

Constant Field Values

LITERAL_quit

static final int LITERAL_quit

See Also:

Constant Field Values

LITERAL_read

static final int LITERAL_read

See Also:

Constant Field Values

STRING

static final int STRING

See Also:

Constant Field Values

LITERAL_option

static final int LITERAL_option

See Also:

Constant Field Values

LITERAL_newcontext

static final int LITERAL_newcontext

See Also:

Constant Field Values

LITERAL_TYPE

static final int LITERAL_TYPE

See Also:

Constant Field Values

LITERAL_FORMULA

static final int LITERAL_FORMULA

See Also:

Constant Field Values

LITERAL_AXIOM

static final int LITERAL_AXIOM

See Also:

Constant Field Values

LITERAL_ARRAY

static final int LITERAL_ARRAY

See Also:

Constant Field Values

LITERAL_OF

static final int LITERAL_OF

See Also:

Constant Field Values

LITERAL_BOOLEAN

static final int LITERAL_BOOLEAN

See Also:

Constant Field Values

LITERAL_BIT

static final int LITERAL_BIT

See Also:

Constant Field Values

LITERAL_LOGICAL

static final int LITERAL_LOGICAL

See Also:

Constant Field Values

LITERAL_INT

static final int LITERAL_INT

See Also:

Constant Field Values

LITERAL_NAT

static final int LITERAL_NAT

See Also:

Constant Field Values

LITERAL_REAL

static final int LITERAL_REAL

See Also:

Constant Field Values

LITERAL_SUBTYPE

static final int LITERAL_SUBTYPE

See Also:

Constant Field Values

LITERAL_LAMBDA

static final int LITERAL_LAMBDA

See Also:

Constant Field Values

LITERAL_FORALL

static final int LITERAL_FORALL

See Also:

Constant Field Values

LITERAL_EXISTS

static final int LITERAL_EXISTS

See Also:

Constant Field Values

LITERAL_LET

static final int LITERAL_LET

See Also:

Constant Field Values

LITERAL_IN

static final int LITERAL_IN

See Also:

Constant Field Values

LITERAL_XOR

static final int LITERAL_XOR

See Also:

Constant Field Values

LITERAL_OR

static final int LITERAL_OR

See Also:

Constant Field Values

LITERAL_AND

static final int LITERAL_AND

See Also:

Constant Field Values

LITERAL_NOT

static final int LITERAL_NOT

See Also:

Constant Field Values

LITERAL_WITH

static final int LITERAL_WITH

See Also:

Constant Field Values

NUMBER

static final int NUMBER

See Also:

Constant Field Values

UNDERSCORE

static final int UNDERSCORE

See Also:

Constant Field Values

LITERAL_TRUE

static final int LITERAL_TRUE

See Also:

Constant Field Values

LITERAL_FALSE

static final int LITERAL_FALSE

See Also:

Constant Field Values

LITERAL_LOGICALTRUE

static final int LITERAL_LOGICALTRUE

See Also:

Constant Field Values

LITERAL_LOGICALFALSE

static final int LITERAL_LOGICALFALSE

See Also:

Constant Field Values

LITERAL_BITTRUE

static final int LITERAL_BITTRUE

See Also:

Constant Field Values

LITERAL_BITFALSE

static final int LITERAL_BITFALSE

See Also:

Constant Field Values

LITERAL_IF

static final int LITERAL_IF

See Also:

Constant Field Values

LITERAL_THEN

static final int LITERAL_THEN

See Also:

Constant Field Values

LITERAL_ELSIF

static final int LITERAL_ELSIF

See Also:

Constant Field Values

LITERAL_ELSE

static final int LITERAL_ELSE

See Also:

Constant Field Values

LITERAL_ENDIF

static final int LITERAL_ENDIF

See Also:

Constant Field Values

IGNORE

static final int IGNORE

See Also:

Constant Field Values

LPAR

static final int LPAR

See Also:

Constant Field Values

RPAR

static final int RPAR

See Also:

Constant Field Values

LBRACK

static final int LBRACK

See Also:

Constant Field Values

RBRACK

static final int RBRACK

See Also:

Constant Field Values

LPARGRID

static final int LPARGRID

See Also:

Constant Field Values

RPARGRID

static final int RPARGRID

See Also:

Constant Field Values

LBRACKGRID

static final int LBRACKGRID

See Also:

Constant Field Values

RBRACKGRID

static final int RBRACKGRID

See Also:

Constant Field Values

PERIOD

static final int PERIOD

See Also:

Constant Field Values

COLON

static final int COLON

See Also:

Constant Field Values

COMMA

static final int COMMA

See Also:

Constant Field Values

ASSIGNMENT

static final int ASSIGNMENT

See Also:

Constant Field Values

EQUALITY

static final int EQUALITY

See Also:

Constant Field Values

NONEQUALITY

static final int NONEQUALITY

See Also:

Constant Field Values

LESS

static final int LESS

See Also:

Constant Field Values

LESSEQ

static final int LESSEQ

See Also:

Constant Field Values

GREATER

static final int GREATER

See Also:

Constant Field Values

GREATEREQ

static final int GREATEREQ

See Also:

Constant Field Values

PLUS

static final int PLUS

See Also:

Constant Field Values

MINUS

static final int MINUS

See Also:

Constant Field Values

BITOR

static final int BITOR

See Also:

Constant Field Values

TIMES

static final int TIMES

See Also:

Constant Field Values

DIVIDES

static final int DIVIDES

See Also:

Constant Field Values

BITAND

static final int BITAND

See Also:

Constant Field Values

POWER

static final int POWER

See Also:

Constant Field Values

BITNOT

static final int BITNOT

See Also:

Constant Field Values

IMPLIES

static final int IMPLIES

See Also:

Constant Field Values

EQUIV

static final int EQUIV

See Also:

Constant Field Values

ARROW

static final int ARROW

See Also:

Constant Field Values

DOTDOT

static final int DOTDOT

See Also:

Constant Field Values

REALLETTER

static final int REALLETTER

See Also:

Constant Field Values

LETTER

static final int LETTER

See Also:

Constant Field Values

DIGIT

static final int DIGIT

See Also:

Constant Field Values

WS

static final int WS

See Also:

Constant Field Values

EOL

static final int EOL

See Also:

Constant Field Values

COMMENT

static final int COMMENT

See Also:

Constant Field Values