// $ANTLR 2.7.2: IncaSmv.g -> IncaSmvParserTokenTypes.txt$
IncaSmvParser    // output token vocab name
TRANS="TRANS"=4
NEXT="next"=5
IDLE="Idle"=6
WHITESPACE=7
COMMENT=8
LPAREN=9
RPAREN=10
OR=11
AND=12
COMMA=13
SEMICOLON=14
DASH=15
DOT=16
COLON=17
EQUALS=18
UNDERSCORE=19
IDENTIFIER=20
NUMBER=21
LETTER=22
NEWLINE=23
