diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-29 06:26:02 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:41:39 -0400 |
commit | 15602c7cfbfc80b8c826855b94c9f9582650dd21 (patch) | |
tree | 3f90d5812e68215838efd52372bcc26df88b9033 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java | |
parent | VAMPIRE: integrate local Vampire executeable #32 (diff) | |
download | VIATRA-Generator-15602c7cfbfc80b8c826855b94c9f9582650dd21.tar.gz VIATRA-Generator-15602c7cfbfc80b8c826855b94c9f9582650dd21.tar.zst VIATRA-Generator-15602c7cfbfc80b8c826855b94c9f9582650dd21.zip |
VAMPIRE: adapt grammar to Vampire solution + get model from text
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java index 922fca87..d3c1b221 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSyntacticSequencer.java | |||
@@ -94,9 +94,13 @@ public class VampireLanguageSyntacticSequencer extends AbstractSyntacticSequence | |||
94 | * | 94 | * |
95 | * This ambiguous syntax occurs at: | 95 | * This ambiguous syntax occurs at: |
96 | * (rule start) (ambiguity) '!' '[' variables+=VLSVariable | 96 | * (rule start) (ambiguity) '!' '[' variables+=VLSVariable |
97 | * (rule start) (ambiguity) '!' '[' variables+=VLSVariableDeclaration | ||
98 | * (rule start) (ambiguity) '$false' ':' type=VLSTypeDef | ||
97 | * (rule start) (ambiguity) '$false' (rule start) | 99 | * (rule start) (ambiguity) '$false' (rule start) |
100 | * (rule start) (ambiguity) '$true' ':' type=VLSTypeDef | ||
98 | * (rule start) (ambiguity) '$true' (rule start) | 101 | * (rule start) (ambiguity) '$true' (rule start) |
99 | * (rule start) (ambiguity) '?' '[' variables+=VLSVariable | 102 | * (rule start) (ambiguity) '?' '[' variables+=VLSVariable |
103 | * (rule start) (ambiguity) '?' '[' variables+=VLSVariableDeclaration | ||
100 | * (rule start) (ambiguity) '~' operand=VLSUnitaryFormula | 104 | * (rule start) (ambiguity) '~' operand=VLSUnitaryFormula |
101 | * (rule start) (ambiguity) constant=DOLLAR_ID | 105 | * (rule start) (ambiguity) constant=DOLLAR_ID |
102 | * (rule start) (ambiguity) constant=DOUBLE_DOLLAR_ID | 106 | * (rule start) (ambiguity) constant=DOUBLE_DOLLAR_ID |
@@ -112,8 +116,6 @@ public class VampireLanguageSyntacticSequencer extends AbstractSyntacticSequence | |||
112 | * (rule start) (ambiguity) name=VLSRole | 116 | * (rule start) (ambiguity) name=VLSRole |
113 | * (rule start) (ambiguity) value=DOUBLE_QUOTE | 117 | * (rule start) (ambiguity) value=DOUBLE_QUOTE |
114 | * (rule start) (ambiguity) value=SIGNED_LITERAL | 118 | * (rule start) (ambiguity) value=SIGNED_LITERAL |
115 | * (rule start) (ambiguity) value=SIGNED_RAT_ID | ||
116 | * (rule start) (ambiguity) value=SIGNED_REAL_ID | ||
117 | * (rule start) (ambiguity) {VLSAnd.left=} | 119 | * (rule start) (ambiguity) {VLSAnd.left=} |
118 | * (rule start) (ambiguity) {VLSAssignment.left=} | 120 | * (rule start) (ambiguity) {VLSAssignment.left=} |
119 | * (rule start) (ambiguity) {VLSEquality.left=} | 121 | * (rule start) (ambiguity) {VLSEquality.left=} |