• Home
• hu.bme.mit.theta
• theta-chc-frontend
• 6.8.5
• source code
• CHCLexer.tokens

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

hu.bme.mit.theta.chc.frontend.dsl.gen.CHCLexer.tokens Maven / Gradle / Ivy

T__0=1
Comment=2
ParOpen=3
ParClose=4
Semicolon=5
String=6
QuotedSymbol=7
Arrow=8
PS_Not=9
PS_And=10
PS_Bool=11
PS_ContinuedExecution=12
PS_Error=13
PS_False=14
PS_ImmediateExit=15
PS_Incomplete=16
PS_Logic=17
PS_Memout=18
PS_Sat=19
PS_Success=20
PS_Theory=21
PS_True=22
PS_Unknown=23
PS_Unsupported=24
PS_Unsat=25
CMD_Assert=26
CMD_CheckSat=27
CMD_CheckSatAssuming=28
CMD_DeclareConst=29
CMD_DeclareDatatype=30
CMD_DeclareDatatypes=31
CMD_DeclareFun=32
CMD_DeclareSort=33
CMD_DefineFun=34
CMD_DefineFunRec=35
CMD_DefineFunsRec=36
CMD_DefineSort=37
CMD_Echo=38
CMD_Exit=39
CMD_GetAssertions=40
CMD_GetAssignment=41
CMD_GetInfo=42
CMD_GetModel=43
CMD_GetOption=44
CMD_GetProof=45
CMD_GetUnsatAssumptions=46
CMD_GetUnsatCore=47
CMD_GetValue=48
CMD_Pop=49
CMD_Push=50
CMD_Reset=51
CMD_ResetAssertions=52
CMD_SetInfo=53
CMD_SetLogic=54
CMD_SetOption=55
GRW_Exclamation=56
GRW_Underscore=57
GRW_As=58
GRW_Binary=59
GRW_Decimal=60
GRW_Exists=61
GRW_Hexadecimal=62
GRW_Forall=63
GRW_Let=64
GRW_Match=65
GRW_Numeral=66
GRW_Par=67
GRW_String=68
Numeral=69
Binary=70
HexDecimal=71
Decimal=72
Colon=73
PK_AllStatistics=74
PK_AssertionStackLevels=75
PK_Authors=76
PK_Category=77
PK_Chainable=78
PK_Definition=79
PK_DiagnosticOutputChannel=80
PK_ErrorBehaviour=81
PK_Extension=82
PK_Funs=83
PK_FunsDescription=84
PK_GlobalDeclarations=85
PK_InteractiveMode=86
PK_Language=87
PK_LeftAssoc=88
PK_License=89
PK_Named=90
PK_Name=91
PK_Notes=92
PK_Pattern=93
PK_PrintSuccess=94
PK_ProduceAssertions=95
PK_ProduceAssignments=96
PK_ProduceModels=97
PK_ProduceProofs=98
PK_ProduceUnsatAssumptions=99
PK_ProduceUnsatCores=100
PK_RandomSeed=101
PK_ReasonUnknown=102
PK_RegularOutputChannel=103
PK_ReproducibleResourceLimit=104
PK_RightAssoc=105
PK_SmtLibVersion=106
PK_Sorts=107
PK_SortsDescription=108
PK_Source=109
PK_Status=110
PK_Theories=111
PK_Values=112
PK_Verbosity=113
PK_Version=114
Name=115
UndefinedSymbol=116
WS=117
'HORN'=1
'('=3
')'=4
';'=5
'=>'=8
'not'=9
'and'=10
'Bool'=11
'continued-execution'=12
'error'=13
'false'=14
'immediate-exit'=15
'incomplete'=16
'logic'=17
'memout'=18
'sat'=19
'success'=20
'theory'=21
'true'=22
'unknown'=23
'unsupported'=24
'unsat'=25
'assert'=26
'check-sat'=27
'check-sat-assuming'=28
'declare-const'=29
'declare-datatype'=30
'declare-datatypes'=31
'declare-fun'=32
'declare-sort'=33
'define-fun'=34
'define-fun-rec'=35
'define-funs-rec'=36
'define-sort'=37
'echo'=38
'exit'=39
'get-assertions'=40
'get-assignment'=41
'get-info'=42
'get-model'=43
'get-option'=44
'get-proof'=45
'get-unsat-assumptions'=46
'get-unsat-core'=47
'get-value'=48
'pop'=49
'push'=50
'reset'=51
'reset-assertions'=52
'set-info'=53
'set-logic'=54
'set-option'=55
'!'=56
'_'=57
'as'=58
'BINARY'=59
'DECIMAL'=60
'exists'=61
'HEXADECIMAL'=62
'forall'=63
'let'=64
'match'=65
'NUMERAL'=66
'par'=67
'string'=68
':'=73
':all-statistics'=74
':assertion-stack-levels'=75
':authors'=76
':category'=77
':chainable'=78
':definition'=79
':diagnostic-output-channel'=80
':error-behavior'=81
':extensions'=82
':funs'=83
':funs-description'=84
':global-declarations'=85
':interactive-mode'=86
':language'=87
':left-assoc'=88
':license'=89
':named'=90
':name'=91
':notes'=92
':pattern'=93
':print-success'=94
':produce-assertions'=95
':produce-assignments'=96
':produce-models'=97
':produce-proofs'=98
':produce-unsat-assumptions'=99
':produce-unsat-cores'=100
':random-seed'=101
':reason-unknown'=102
':regular-output-channel'=103
':reproducible-resource-limit'=104
':right-assoc'=105
':smt-lib-version'=106
':sorts'=107
':sorts-description'=108
':source'=109
':status'=110
':theories'=111
':values'=112
':verbosity'=113
':version'=114