From f87b4233437f0900c19f462b5e443a3c81b27b6e Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 15 Jan 2019 12:44:33 -0500
Subject: Initial workspace setup

---
 .../antlr/internal/InternalVampireLanguage.tokens  | 107 +++++++++++++++++++++
 1 file changed, 107 insertions(+)
 create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens
new file mode 100644
index 00000000..9a2d1db3
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens
@@ -0,0 +1,107 @@
+'!'=59
+'!='=63
+'$false'=67
+'$less'=68
+'$true'=66
+'&'=57
+'('=32
+')'=33
+','=29
+',['=28
+'.'=34
+':'=60
+':='=65
+'<='=53
+'<=>'=51
+'<~>'=54
+'='=64
+'=>'=52
+'?'=61
+'['=50
+']'=30
+'assumption'=39
+'axiom'=35
+'conjecture'=36
+'corollary'=42
+'definition'=38
+'fi_domain'=46
+'fi_functors'=47
+'fi_predicates'=48
+'fof'=31
+'hypothesis'=37
+'include('=27
+'lemma'=40
+'negated_conjecture'=43
+'plain'=44
+'theorem'=41
+'type'=45
+'unknown'=49
+'|'=58
+'~&'=56
+'~'=62
+'~|'=55
+RULE_ALPHA_NUMERIC=15
+RULE_ANY_OTHER=21
+RULE_DOLLAR_ID=9
+RULE_DOUBLE_DOLLAR_ID=10
+RULE_DOUBLE_QUOTE=14
+RULE_ID=22
+RULE_INT=17
+RULE_LITERAL=6
+RULE_LOWER_WORD_ID=5
+RULE_ML_COMMENT=24
+RULE_SIGN=16
+RULE_SIGNED_LITERAL=7
+RULE_SIGNED_RAT_ID=13
+RULE_SIGNED_REAL_ID=12
+RULE_SINGLE_COMMENT=8
+RULE_SINGLE_QUOTE=4
+RULE_SL_COMMENT=25
+RULE_STRING=23
+RULE_UNSIGNED_RAT_ID=20
+RULE_UNSIGNED_REAL_EXP_ID=19
+RULE_UNSIGNED_REAL_FRAC_ID=18
+RULE_UPPER_WORD_ID=11
+RULE_WS=26
+T__27=27
+T__28=28
+T__29=29
+T__30=30
+T__31=31
+T__32=32
+T__33=33
+T__34=34
+T__35=35
+T__36=36
+T__37=37
+T__38=38
+T__39=39
+T__40=40
+T__41=41
+T__42=42
+T__43=43
+T__44=44
+T__45=45
+T__46=46
+T__47=47
+T__48=48
+T__49=49
+T__50=50
+T__51=51
+T__52=52
+T__53=53
+T__54=54
+T__55=55
+T__56=56
+T__57=57
+T__58=58
+T__59=59
+T__60=60
+T__61=61
+T__62=62
+T__63=63
+T__64=64
+T__65=65
+T__66=66
+T__67=67
+T__68=68
-- 
cgit v1.2.3-54-g00ecf