hu.bme.mit.theta.cfa.dsl.gen.CfaDsl.tokens Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of theta-cfa Show documentation

Cfa subproject in the Theta model checking framework

There is a newer version: 6.8.5

VAR=1
MAIN=2
PROCESS=3
INIT=4
FINAL=5
ERROR=6
LOC=7
BOOLTYPE=8
INTTYPE=9
RATTYPE=10
BVTYPE=11
FPTYPE=12
IF=13
THEN=14
ELSE=15
IFF=16
IMPLY=17
FORALL=18
EXISTS=19
OR=20
AND=21
XOR=22
NOT=23
EQ=24
NEQ=25
LT=26
LEQ=27
GT=28
GEQ=29
PLUS=30
MINUS=31
MUL=32
DIV=33
MOD=34
REM=35
PERCENT=36
BV_CONCAT=37
BV_ZERO_EXTEND=38
BV_SIGN_EXTEND=39
BV_ADD=40
BV_SUB=41
BV_POS=42
BV_NEG=43
BV_MUL=44
BV_UDIV=45
BV_SDIV=46
BV_SMOD=47
BV_UREM=48
BV_SREM=49
BV_OR=50
BV_AND=51
BV_XOR=52
BV_NOT=53
BV_SHL=54
BV_ASHR=55
BV_LSHR=56
BV_ROL=57
BV_ROR=58
BV_ULT=59
BV_ULE=60
BV_UGT=61
BV_UGE=62
BV_SLT=63
BV_SLE=64
BV_SGT=65
BV_SGE=66
FP_ABS=67
FP_FROM_BV=68
FP_IS_NAN=69
FPMAX=70
FPMIN=71
FPREM=72
FPROUNDTOINT=73
FPSQRT=74
FPTOBV=75
FPTOFP=76
FPSUB=77
FPADD=78
FPMUL=79
FPDIV=80
FPPOS=81
FPNEG=82
TRUE=83
BV_TYPE_DECL=84
SIGNEDNESS=85
FP_TYPE_DECL=86
FP_ROUNDINGMODE=87
FALSE=88
DEFAULT=89
ASSIGN=90
HAVOC=91
ASSUME=92
RETURN=93
BV=94
INT=95
NAT=96
SIGN=97
DOT=98
ID=99
UNDERSCORE=100
DIGIT=101
LETTER=102
LPAREN=103
RPAREN=104
LBRACK=105
RBRACK=106
LBRAC=107
RBRAC=108
COMMA=109
COLON=110
SEMICOLON=111
QUOT=112
LARROW=113
RARROW=114
WS=115
COMMENT=116
LINE_COMMENT=117
'var'=1
'main'=2
'process'=3
'init'=4
'final'=5
'error'=6
'loc'=7
'bool'=8
'int'=9
'rat'=10
'bv'=11
'fp'=12
'if'=13
'then'=14
'else'=15
'iff'=16
'imply'=17
'forall'=18
'exists'=19
'or'=20
'and'=21
'xor'=22
'not'=23
'='=24
'/='=25
'<'=26
'<='=27
'>'=28
'>='=29
'+'=30
'-'=31
'*'=32
'/'=33
'mod'=34
'rem'=35
'%'=36
'bv_zero_extend'=38
'bv_sign_extend'=39
'bvadd'=40
'bvsub'=41
'bvpos'=42
'bvneg'=43
'bvmul'=44
'bvudiv'=45
'bvsdiv'=46
'bvsmod'=47
'bvurem'=48
'bvsrem'=49
'bvor'=50
'bvand'=51
'bvxor'=52
'bvnot'=53
'bvshl'=54
'bvashr'=55
'bvlshr'=56
'bvrol'=57
'bvror'=58
'bvult'=59
'bvule'=60
'bvugt'=61
'bvuge'=62
'bvslt'=63
'bvsle'=64
'bvsgt'=65
'bvsge'=66
'fpabs'=67
'fpisnan'=69
'fpmax'=70
'fpmin'=71
'fprem'=72
'true'=83
'false'=88
'default'=89
':='=90
'havoc'=91
'assume'=92
'return'=93
'.'=98
'_'=100
'('=103
')'=104
'['=105
']'=106
'{'=107
'}'=108
','=109
':'=110
';'=111
'\''=112
'<-'=113
'->'=114