fmrisc.ProofNavigator
Interface PNParserTokenTypes
- All Known Implementing Classes:
- PNLexer, PNParser
public interface PNParserTokenTypes
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_type
static final int LITERAL_type
- See Also:
- Constant Field Values
LITERAL_value
static final int LITERAL_value
- See Also:
- Constant Field Values
LITERAL_formula
static final int LITERAL_formula
- 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_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_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
TIMES
static final int TIMES
- See Also:
- Constant Field Values
DIVIDES
static final int DIVIDES
- See Also:
- Constant Field Values
POWER
static final int POWER
- 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