edu.toronto.cs.smv.parser
Interface FullSMVLexerTokenTypes
- All Known Implementing Classes:
- FullDDBuilder, FullSMVLexer, FullSMVParser
public interface FullSMVLexerTokenTypes
EOF
static final int EOF
- See Also:
- Constant Field Values
NULL_TREE_LOOKAHEAD
static final int NULL_TREE_LOOKAHEAD
- See Also:
- Constant Field Values
LPAREN
static final int LPAREN
- See Also:
- Constant Field Values
RPAREN
static final int RPAREN
- See Also:
- Constant Field Values
ASSIGNOP
static final int ASSIGNOP
- See Also:
- Constant Field Values
IMPLIES
static final int IMPLIES
- See Also:
- Constant Field Values
EQ
static final int EQ
- See Also:
- Constant Field Values
OR
static final int OR
- See Also:
- Constant Field Values
AND
static final int AND
- See Also:
- Constant Field Values
NEG
static final int NEG
- See Also:
- Constant Field Values
LBRACE
static final int LBRACE
- See Also:
- Constant Field Values
RBRACE
static final int RBRACE
- See Also:
- Constant Field Values
COMMA
static final int COMMA
- 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
MULT
static final int MULT
- See Also:
- Constant Field Values
DIV
static final int DIV
- See Also:
- Constant Field Values
VARNAME
static final int VARNAME
- See Also:
- Constant Field Values
ATOM
static final int ATOM
- See Also:
- Constant Field Values
DIGIT
static final int DIGIT
- See Also:
- Constant Field Values
NUMBER
static final int NUMBER
- See Also:
- Constant Field Values
COL
static final int COL
- See Also:
- Constant Field Values
SEMI
static final int SEMI
- See Also:
- Constant Field Values
COMMENT
static final int COMMENT
- See Also:
- Constant Field Values
WS
static final int WS
- See Also:
- Constant Field Values
NEWLINE
static final int NEWLINE
- See Also:
- Constant Field Values
TRANS
static final int TRANS
- See Also:
- Constant Field Values
UNION
static final int UNION
- See Also:
- Constant Field Values
NEXT
static final int NEXT
- See Also:
- Constant Field Values
VAR
static final int VAR
- See Also:
- Constant Field Values
IVAR
static final int IVAR
- See Also:
- Constant Field Values
ASSIGN
static final int ASSIGN
- See Also:
- Constant Field Values
MODULE
static final int MODULE
- See Also:
- Constant Field Values
CASE
static final int CASE
- See Also:
- Constant Field Values
ESAC
static final int ESAC
- See Also:
- Constant Field Values
INIT
static final int INIT
- See Also:
- Constant Field Values
CAPITAL_INIT
static final int CAPITAL_INIT
- See Also:
- Constant Field Values
DEFINE
static final int DEFINE
- See Also:
- Constant Field Values
TRUE
static final int TRUE
- See Also:
- Constant Field Values
FALSE
static final int FALSE
- See Also:
- Constant Field Values
BOOLEAN
static final int BOOLEAN
- See Also:
- Constant Field Values
IFF
static final int IFF
- See Also:
- Constant Field Values
XOR
static final int XOR
- See Also:
- Constant Field Values
NEQ
static final int NEQ
- See Also:
- Constant Field Values
LT
static final int LT
- See Also:
- Constant Field Values
GT
static final int GT
- See Also:
- Constant Field Values
LEQ
static final int LEQ
- See Also:
- Constant Field Values
GEQ
static final int GEQ
- See Also:
- Constant Field Values
MOD
static final int MOD
- See Also:
- Constant Field Values
INVAR
static final int INVAR
- See Also:
- Constant Field Values
ISA
static final int ISA
- See Also:
- Constant Field Values