fmrisc.Proving.CVCL
Interface CVCLParserTokenTypes
- All Known Implementing Classes:
- CVCLLexer, CVCLParser
public interface CVCLParserTokenTypes
EOF
static final int EOF
- See Also:
- Constant Field Values
NULL_TREE_LOOKAHEAD
static final int NULL_TREE_LOOKAHEAD
- See Also:
- Constant Field Values
IDENT
static final int IDENT
- See Also:
- Constant Field Values
LITERAL_TYPE
static final int LITERAL_TYPE
- 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_REAL
static final int LITERAL_REAL
- 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_SUBTYPE
static final int LITERAL_SUBTYPE
- 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_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_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
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
SEMICOLON
static final int SEMICOLON
- 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
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