// $ANTLR 2.7.5 (20050128): FormulaGrammar.g -> antlrFormulaLexerTokenTypes.txt$
antlrFormulaLexer    // output token vocab name
RANGE=4
DOT=5
T_IF="IF"=6
T_THEN="THEN"=7
T_ELSE="ELSE"=8
T_ENDIF="ENDIF"=9
T_IN="IN"=10
T_SIZE="SIZE"=11
T_UNION="UNION"=12
T_INTERSECTION="INTERSECTION"=13
T_EMPTY="EMPTY"=14
T_TRUE="TRUE"=15
T_FALSE="FALSE"=16
T_AND="AND"=17
T_OR="OR"=18
T_NOT="NOT"=19
T_ABS="ABS"=20
T_ROUND="ROUND"=21
T_TRUNC="TRUNC"=22
T_MOD="MOD"=23
T_DIVINT="DIV"=24
T_DOMAINOF="DOMAINOF"=25
T_FORALL="FORALL"=26
T_EXISTS="EXISTS"=27
T_SUM="SUM"=28
T_ANY="ANY"=29
T_MIN="MIN"=30
T_MAX="MAX"=31
EQ=32
NE=33
GT=34
LT=35
GE=36
LE=37
PLUS=38
MINUS=39
MULT=40
DIV=41
LPAREN=42
RPAREN=43
LCURLY=44
RCURLY=45
LBRACKET=46
RBRACKET=47
COMMA=48
WS=49
NEWLINE=50
SINGLE_QUOTED_ID=51
DOUBLE_QUOTED_ID=52
VARIABLE=53
DOT_OR_RANGE=54
DIGIT_SEQUENCE=55
DIGIT=56
