edu.toronto.cs.smv.parser
Interface SMVParserTokenTypes
- All Known Implementing Classes:
- DDBuilder, SMVLexer, SMVParser
public interface SMVParserTokenTypes
EOF
static final int EOF
- See Also:
- Constant Field Values
NULL_TREE_LOOKAHEAD
static final int NULL_TREE_LOOKAHEAD
- See Also:
- Constant Field Values
TRANS
static final int TRANS
- See Also:
- Constant Field Values
VALUE
static final int VALUE
- See Also:
- Constant Field Values
PROPVAR
static final int PROPVAR
- See Also:
- Constant Field Values
ENUMVAR
static final int ENUMVAR
- See Also:
- Constant Field Values
ZERO
static final int ZERO
- See Also:
- Constant Field Values
ONE
static final int ONE
- See Also:
- Constant Field Values
NEXTPROPVAR
static final int NEXTPROPVAR
- See Also:
- Constant Field Values
NEXTENUMVAR
static final int NEXTENUMVAR
- 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
BOOLEQ
static final int BOOLEQ
- See Also:
- Constant Field Values
VALEQ
static final int VALEQ
- 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
DEFINE
static final int DEFINE
- See Also:
- Constant Field Values
VARNAME
static final int VARNAME
- 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
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
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
LPAREN
static final int LPAREN
- See Also:
- Constant Field Values
RPAREN
static final int RPAREN
- See Also:
- Constant Field Values
IDENT
static final int IDENT
- 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