diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:18:56 -0400 |
commit | 9643b7b7a735afc408ca6a172e2719653553627a (patch) | |
tree | a608396a89759a3d3d6ead5b659c23612ff9d56c /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language | |
parent | complete vsconfig files #19 (diff) | |
download | VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.tar.gz VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.tar.zst VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.zip |
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language')
20 files changed, 63 insertions, 457 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore index fcfb84c7..ff954f57 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore | |||
@@ -27,10 +27,6 @@ | |||
27 | </eClassifiers> | 27 | </eClassifiers> |
28 | <eClassifiers xsi:type="ecore:EClass" name="VLSConfirmations"/> | 28 | <eClassifiers xsi:type="ecore:EClass" name="VLSConfirmations"/> |
29 | <eClassifiers xsi:type="ecore:EClass" name="VLSSatisfiable" eSuperTypes="#//VLSConfirmations"/> | 29 | <eClassifiers xsi:type="ecore:EClass" name="VLSSatisfiable" eSuperTypes="#//VLSConfirmations"/> |
30 | <eClassifiers xsi:type="ecore:EClass" name="VLSTrying"> | ||
31 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
32 | </eClassifiers> | ||
33 | <eClassifiers xsi:type="ecore:EClass" name="VLSFiniteModel"/> | ||
34 | <eClassifiers xsi:type="ecore:EClass" name="VLSFofFormula"> | 30 | <eClassifiers xsi:type="ecore:EClass" name="VLSFofFormula"> |
35 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 31 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="fofRole" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 32 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="fofRole" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel index ce5d9184..655f282b 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | |||
@@ -25,10 +25,6 @@ | |||
25 | </genClasses> | 25 | </genClasses> |
26 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSConfirmations"/> | 26 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSConfirmations"/> |
27 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSSatisfiable"/> | 27 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSSatisfiable"/> |
28 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTrying"> | ||
29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTrying/name"/> | ||
30 | </genClasses> | ||
31 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFiniteModel"/> | ||
32 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula"> | 28 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula"> |
33 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/> | 29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/> |
34 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/> | 30 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtextbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtextbin index ddc983a6..337977f1 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtextbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtextbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java index d763a193..890341db 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java | |||
@@ -14,7 +14,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | |||
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | 14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; |
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | 15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; |
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; |
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel; | ||
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; |
@@ -33,7 +32,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; | |||
33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; | 32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; |
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; | 33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; |
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | 34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; |
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying; | ||
37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | 35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; |
38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
@@ -103,9 +101,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
103 | case VampireLanguagePackage.VLS_FALSE: | 101 | case VampireLanguagePackage.VLS_FALSE: |
104 | sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject); | 102 | sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject); |
105 | return; | 103 | return; |
106 | case VampireLanguagePackage.VLS_FINITE_MODEL: | ||
107 | sequence_VLSFiniteModel(context, (VLSFiniteModel) semanticObject); | ||
108 | return; | ||
109 | case VampireLanguagePackage.VLS_FOF_FORMULA: | 104 | case VampireLanguagePackage.VLS_FOF_FORMULA: |
110 | sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject); | 105 | sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject); |
111 | return; | 106 | return; |
@@ -160,9 +155,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
160 | case VampireLanguagePackage.VLS_TRUE: | 155 | case VampireLanguagePackage.VLS_TRUE: |
161 | sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject); | 156 | sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject); |
162 | return; | 157 | return; |
163 | case VampireLanguagePackage.VLS_TRYING: | ||
164 | sequence_VLSTrying(context, (VLSTrying) semanticObject); | ||
165 | return; | ||
166 | case VampireLanguagePackage.VLS_UNARY_NEGATION: | 158 | case VampireLanguagePackage.VLS_UNARY_NEGATION: |
167 | sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject); | 159 | sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject); |
168 | return; | 160 | return; |
@@ -782,18 +774,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
782 | 774 | ||
783 | /** | 775 | /** |
784 | * Contexts: | 776 | * Contexts: |
785 | * VLSFiniteModel returns VLSFiniteModel | ||
786 | * | ||
787 | * Constraint: | ||
788 | * {VLSFiniteModel} | ||
789 | */ | ||
790 | protected void sequence_VLSFiniteModel(ISerializationContext context, VLSFiniteModel semanticObject) { | ||
791 | genericSequencer.createSequence(context, semanticObject); | ||
792 | } | ||
793 | |||
794 | |||
795 | /** | ||
796 | * Contexts: | ||
797 | * VLSFofFormula returns VLSFofFormula | 777 | * VLSFofFormula returns VLSFofFormula |
798 | * | 778 | * |
799 | * Constraint: | 779 | * Constraint: |
@@ -868,24 +848,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
868 | 848 | ||
869 | /** | 849 | /** |
870 | * Contexts: | 850 | * Contexts: |
871 | * VLSTrying returns VLSTrying | ||
872 | * | ||
873 | * Constraint: | ||
874 | * name=LITERAL | ||
875 | */ | ||
876 | protected void sequence_VLSTrying(ISerializationContext context, VLSTrying semanticObject) { | ||
877 | if (errorAcceptor != null) { | ||
878 | if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME) == ValueTransient.YES) | ||
879 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME)); | ||
880 | } | ||
881 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
882 | feeder.accept(grammarAccess.getVLSTryingAccess().getNameLITERALTerminalRuleCall_2_0(), semanticObject.getName()); | ||
883 | feeder.finish(); | ||
884 | } | ||
885 | |||
886 | |||
887 | /** | ||
888 | * Contexts: | ||
889 | * VLSTerm returns VLSAssignment | 851 | * VLSTerm returns VLSAssignment |
890 | * VLSBinary returns VLSAssignment | 852 | * VLSBinary returns VLSAssignment |
891 | * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAssignment | 853 | * VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAssignment |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java index 64ba160f..c5bd8be2 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | |||
@@ -234,64 +234,6 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
234 | //'Satisfiable!' | 234 | //'Satisfiable!' |
235 | public Keyword getSatisfiableKeyword_1() { return cSatisfiableKeyword_1; } | 235 | public Keyword getSatisfiableKeyword_1() { return cSatisfiableKeyword_1; } |
236 | } | 236 | } |
237 | public class VLSTryingElements extends AbstractParserRuleElementFinder { | ||
238 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSTrying"); | ||
239 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
240 | private final Keyword cTRYINGKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
241 | private final Keyword cLeftSquareBracketKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
242 | private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
243 | private final RuleCall cNameLITERALTerminalRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0); | ||
244 | private final Keyword cRightSquareBracketKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
245 | |||
246 | //VLSTrying: | ||
247 | // 'TRYING' '[' name=LITERAL ']'; | ||
248 | @Override public ParserRule getRule() { return rule; } | ||
249 | |||
250 | //'TRYING' '[' name=LITERAL ']' | ||
251 | public Group getGroup() { return cGroup; } | ||
252 | |||
253 | //'TRYING' | ||
254 | public Keyword getTRYINGKeyword_0() { return cTRYINGKeyword_0; } | ||
255 | |||
256 | //'[' | ||
257 | public Keyword getLeftSquareBracketKeyword_1() { return cLeftSquareBracketKeyword_1; } | ||
258 | |||
259 | //name=LITERAL | ||
260 | public Assignment getNameAssignment_2() { return cNameAssignment_2; } | ||
261 | |||
262 | //LITERAL | ||
263 | public RuleCall getNameLITERALTerminalRuleCall_2_0() { return cNameLITERALTerminalRuleCall_2_0; } | ||
264 | |||
265 | //']' | ||
266 | public Keyword getRightSquareBracketKeyword_3() { return cRightSquareBracketKeyword_3; } | ||
267 | } | ||
268 | public class VLSFiniteModelElements extends AbstractParserRuleElementFinder { | ||
269 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFiniteModel"); | ||
270 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
271 | private final Action cVLSFiniteModelAction_0 = (Action)cGroup.eContents().get(0); | ||
272 | private final Keyword cFiniteKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
273 | private final Keyword cModelKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
274 | private final Keyword cFoundKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
275 | |||
276 | //VLSFiniteModel: | ||
277 | // {VLSFiniteModel} 'Finite' 'Model' 'Found!'; | ||
278 | @Override public ParserRule getRule() { return rule; } | ||
279 | |||
280 | //{VLSFiniteModel} 'Finite' 'Model' 'Found!' | ||
281 | public Group getGroup() { return cGroup; } | ||
282 | |||
283 | //{VLSFiniteModel} | ||
284 | public Action getVLSFiniteModelAction_0() { return cVLSFiniteModelAction_0; } | ||
285 | |||
286 | //'Finite' | ||
287 | public Keyword getFiniteKeyword_1() { return cFiniteKeyword_1; } | ||
288 | |||
289 | //'Model' | ||
290 | public Keyword getModelKeyword_2() { return cModelKeyword_2; } | ||
291 | |||
292 | //'Found!' | ||
293 | public Keyword getFoundKeyword_3() { return cFoundKeyword_3; } | ||
294 | } | ||
295 | public class VLSFofFormulaElements extends AbstractParserRuleElementFinder { | 237 | public class VLSFofFormulaElements extends AbstractParserRuleElementFinder { |
296 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofFormula"); | 238 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofFormula"); |
297 | private final Group cGroup = (Group)rule.eContents().get(1); | 239 | private final Group cGroup = (Group)rule.eContents().get(1); |
@@ -315,6 +257,13 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
315 | private final Keyword cRightParenthesisKeyword_8 = (Keyword)cGroup.eContents().get(8); | 257 | private final Keyword cRightParenthesisKeyword_8 = (Keyword)cGroup.eContents().get(8); |
316 | private final Keyword cFullStopKeyword_9 = (Keyword)cGroup.eContents().get(9); | 258 | private final Keyword cFullStopKeyword_9 = (Keyword)cGroup.eContents().get(9); |
317 | 259 | ||
260 | ////VLSTrying: | ||
261 | //// 'TRYING' '[' name = LITERAL ']' | ||
262 | ////; | ||
263 | //// | ||
264 | ////VLSFiniteModel: | ||
265 | //// {VLSFiniteModel} 'Finite' 'Model' 'Found!' | ||
266 | ////; | ||
318 | //// <FOF formulas> | 267 | //// <FOF formulas> |
319 | //VLSFofFormula: | 268 | //VLSFofFormula: |
320 | // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' | 269 | // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' |
@@ -1633,8 +1582,6 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1633 | private final VLSCommentElements pVLSComment; | 1582 | private final VLSCommentElements pVLSComment; |
1634 | private final VLSConfirmationsElements pVLSConfirmations; | 1583 | private final VLSConfirmationsElements pVLSConfirmations; |
1635 | private final VLSSatisfiableElements pVLSSatisfiable; | 1584 | private final VLSSatisfiableElements pVLSSatisfiable; |
1636 | private final VLSTryingElements pVLSTrying; | ||
1637 | private final VLSFiniteModelElements pVLSFiniteModel; | ||
1638 | private final VLSFofFormulaElements pVLSFofFormula; | 1585 | private final VLSFofFormulaElements pVLSFofFormula; |
1639 | private final VLSTffFormulaElements pVLSTffFormula; | 1586 | private final VLSTffFormulaElements pVLSTffFormula; |
1640 | private final VLSRoleElements pVLSRole; | 1587 | private final VLSRoleElements pVLSRole; |
@@ -1688,8 +1635,6 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1688 | this.pVLSComment = new VLSCommentElements(); | 1635 | this.pVLSComment = new VLSCommentElements(); |
1689 | this.pVLSConfirmations = new VLSConfirmationsElements(); | 1636 | this.pVLSConfirmations = new VLSConfirmationsElements(); |
1690 | this.pVLSSatisfiable = new VLSSatisfiableElements(); | 1637 | this.pVLSSatisfiable = new VLSSatisfiableElements(); |
1691 | this.pVLSTrying = new VLSTryingElements(); | ||
1692 | this.pVLSFiniteModel = new VLSFiniteModelElements(); | ||
1693 | this.pVLSFofFormula = new VLSFofFormulaElements(); | 1638 | this.pVLSFofFormula = new VLSFofFormulaElements(); |
1694 | this.pVLSTffFormula = new VLSTffFormulaElements(); | 1639 | this.pVLSTffFormula = new VLSTffFormulaElements(); |
1695 | this.pVLSRole = new VLSRoleElements(); | 1640 | this.pVLSRole = new VLSRoleElements(); |
@@ -1922,26 +1867,13 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1922 | return getVLSSatisfiableAccess().getRule(); | 1867 | return getVLSSatisfiableAccess().getRule(); |
1923 | } | 1868 | } |
1924 | 1869 | ||
1925 | //VLSTrying: | 1870 | ////VLSTrying: |
1926 | // 'TRYING' '[' name=LITERAL ']'; | 1871 | //// 'TRYING' '[' name = LITERAL ']' |
1927 | public VLSTryingElements getVLSTryingAccess() { | 1872 | ////; |
1928 | return pVLSTrying; | 1873 | //// |
1929 | } | 1874 | ////VLSFiniteModel: |
1930 | 1875 | //// {VLSFiniteModel} 'Finite' 'Model' 'Found!' | |
1931 | public ParserRule getVLSTryingRule() { | 1876 | ////; |
1932 | return getVLSTryingAccess().getRule(); | ||
1933 | } | ||
1934 | |||
1935 | //VLSFiniteModel: | ||
1936 | // {VLSFiniteModel} 'Finite' 'Model' 'Found!'; | ||
1937 | public VLSFiniteModelElements getVLSFiniteModelAccess() { | ||
1938 | return pVLSFiniteModel; | ||
1939 | } | ||
1940 | |||
1941 | public ParserRule getVLSFiniteModelRule() { | ||
1942 | return getVLSFiniteModelAccess().getRule(); | ||
1943 | } | ||
1944 | |||
1945 | //// <FOF formulas> | 1877 | //// <FOF formulas> |
1946 | //VLSFofFormula: | 1878 | //VLSFofFormula: |
1947 | // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' | 1879 | // 'fof' '(' name=(LOWER_WORD_ID | SIGNED_LITERAL | SINGLE_QUOTE) ',' fofRole=VLSRole ',' fofFormula=VLSTerm (',' |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java index a89885ee..84b65a59 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java | |||
@@ -78,24 +78,6 @@ public interface VampireLanguageFactory extends EFactory | |||
78 | VLSSatisfiable createVLSSatisfiable(); | 78 | VLSSatisfiable createVLSSatisfiable(); |
79 | 79 | ||
80 | /** | 80 | /** |
81 | * Returns a new object of class '<em>VLS Trying</em>'. | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @return a new object of class '<em>VLS Trying</em>'. | ||
85 | * @generated | ||
86 | */ | ||
87 | VLSTrying createVLSTrying(); | ||
88 | |||
89 | /** | ||
90 | * Returns a new object of class '<em>VLS Finite Model</em>'. | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @return a new object of class '<em>VLS Finite Model</em>'. | ||
94 | * @generated | ||
95 | */ | ||
96 | VLSFiniteModel createVLSFiniteModel(); | ||
97 | |||
98 | /** | ||
99 | * Returns a new object of class '<em>VLS Fof Formula</em>'. | 81 | * Returns a new object of class '<em>VLS Fof Formula</em>'. |
100 | * <!-- begin-user-doc --> | 82 | * <!-- begin-user-doc --> |
101 | * <!-- end-user-doc --> | 83 | * <!-- end-user-doc --> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java index a9334a48..e7df5378 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java | |||
@@ -253,53 +253,6 @@ public interface VampireLanguagePackage extends EPackage | |||
253 | int VLS_SATISFIABLE_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; | 253 | int VLS_SATISFIABLE_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; |
254 | 254 | ||
255 | /** | 255 | /** |
256 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl <em>VLS Trying</em>}' class. | ||
257 | * <!-- begin-user-doc --> | ||
258 | * <!-- end-user-doc --> | ||
259 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl | ||
260 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() | ||
261 | * @generated | ||
262 | */ | ||
263 | int VLS_TRYING = 6; | ||
264 | |||
265 | /** | ||
266 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
267 | * <!-- begin-user-doc --> | ||
268 | * <!-- end-user-doc --> | ||
269 | * @generated | ||
270 | * @ordered | ||
271 | */ | ||
272 | int VLS_TRYING__NAME = 0; | ||
273 | |||
274 | /** | ||
275 | * The number of structural features of the '<em>VLS Trying</em>' class. | ||
276 | * <!-- begin-user-doc --> | ||
277 | * <!-- end-user-doc --> | ||
278 | * @generated | ||
279 | * @ordered | ||
280 | */ | ||
281 | int VLS_TRYING_FEATURE_COUNT = 1; | ||
282 | |||
283 | /** | ||
284 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl <em>VLS Finite Model</em>}' class. | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl | ||
288 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() | ||
289 | * @generated | ||
290 | */ | ||
291 | int VLS_FINITE_MODEL = 7; | ||
292 | |||
293 | /** | ||
294 | * The number of structural features of the '<em>VLS Finite Model</em>' class. | ||
295 | * <!-- begin-user-doc --> | ||
296 | * <!-- end-user-doc --> | ||
297 | * @generated | ||
298 | * @ordered | ||
299 | */ | ||
300 | int VLS_FINITE_MODEL_FEATURE_COUNT = 0; | ||
301 | |||
302 | /** | ||
303 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. | 256 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. |
304 | * <!-- begin-user-doc --> | 257 | * <!-- begin-user-doc --> |
305 | * <!-- end-user-doc --> | 258 | * <!-- end-user-doc --> |
@@ -307,7 +260,7 @@ public interface VampireLanguagePackage extends EPackage | |||
307 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() | 260 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() |
308 | * @generated | 261 | * @generated |
309 | */ | 262 | */ |
310 | int VLS_FOF_FORMULA = 8; | 263 | int VLS_FOF_FORMULA = 6; |
311 | 264 | ||
312 | /** | 265 | /** |
313 | * The feature id for the '<em><b>Name</b></em>' attribute. | 266 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -362,7 +315,7 @@ public interface VampireLanguagePackage extends EPackage | |||
362 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() | 315 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() |
363 | * @generated | 316 | * @generated |
364 | */ | 317 | */ |
365 | int VLS_TFF_FORMULA = 9; | 318 | int VLS_TFF_FORMULA = 7; |
366 | 319 | ||
367 | /** | 320 | /** |
368 | * The feature id for the '<em><b>Name</b></em>' attribute. | 321 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -417,7 +370,7 @@ public interface VampireLanguagePackage extends EPackage | |||
417 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() | 370 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() |
418 | * @generated | 371 | * @generated |
419 | */ | 372 | */ |
420 | int VLS_ANNOTATION = 10; | 373 | int VLS_ANNOTATION = 8; |
421 | 374 | ||
422 | /** | 375 | /** |
423 | * The feature id for the '<em><b>Name</b></em>' attribute. | 376 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -463,7 +416,7 @@ public interface VampireLanguagePackage extends EPackage | |||
463 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() | 416 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() |
464 | * @generated | 417 | * @generated |
465 | */ | 418 | */ |
466 | int VLS_TERM = 11; | 419 | int VLS_TERM = 9; |
467 | 420 | ||
468 | /** | 421 | /** |
469 | * The number of structural features of the '<em>VLS Term</em>' class. | 422 | * The number of structural features of the '<em>VLS Term</em>' class. |
@@ -482,7 +435,7 @@ public interface VampireLanguagePackage extends EPackage | |||
482 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() | 435 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() |
483 | * @generated | 436 | * @generated |
484 | */ | 437 | */ |
485 | int VLS_VARIABLE = 12; | 438 | int VLS_VARIABLE = 10; |
486 | 439 | ||
487 | /** | 440 | /** |
488 | * The feature id for the '<em><b>Name</b></em>' attribute. | 441 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -510,7 +463,7 @@ public interface VampireLanguagePackage extends EPackage | |||
510 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof() | 463 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof() |
511 | * @generated | 464 | * @generated |
512 | */ | 465 | */ |
513 | int VLS_FUNCTION_FOF = 13; | 466 | int VLS_FUNCTION_FOF = 11; |
514 | 467 | ||
515 | /** | 468 | /** |
516 | * The feature id for the '<em><b>Functor</b></em>' attribute. | 469 | * The feature id for the '<em><b>Functor</b></em>' attribute. |
@@ -547,7 +500,7 @@ public interface VampireLanguagePackage extends EPackage | |||
547 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() | 500 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() |
548 | * @generated | 501 | * @generated |
549 | */ | 502 | */ |
550 | int VLS_DEFINED_TERM = 14; | 503 | int VLS_DEFINED_TERM = 12; |
551 | 504 | ||
552 | /** | 505 | /** |
553 | * The feature id for the '<em><b>Value</b></em>' attribute. | 506 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -575,7 +528,7 @@ public interface VampireLanguagePackage extends EPackage | |||
575 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() | 528 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() |
576 | * @generated | 529 | * @generated |
577 | */ | 530 | */ |
578 | int VLS_EQUIVALENT = 15; | 531 | int VLS_EQUIVALENT = 13; |
579 | 532 | ||
580 | /** | 533 | /** |
581 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 534 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -612,7 +565,7 @@ public interface VampireLanguagePackage extends EPackage | |||
612 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() | 565 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() |
613 | * @generated | 566 | * @generated |
614 | */ | 567 | */ |
615 | int VLS_IMPLIES = 16; | 568 | int VLS_IMPLIES = 14; |
616 | 569 | ||
617 | /** | 570 | /** |
618 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 571 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -649,7 +602,7 @@ public interface VampireLanguagePackage extends EPackage | |||
649 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() | 602 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() |
650 | * @generated | 603 | * @generated |
651 | */ | 604 | */ |
652 | int VLS_REV_IMPLIES = 17; | 605 | int VLS_REV_IMPLIES = 15; |
653 | 606 | ||
654 | /** | 607 | /** |
655 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 608 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -686,7 +639,7 @@ public interface VampireLanguagePackage extends EPackage | |||
686 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() | 639 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() |
687 | * @generated | 640 | * @generated |
688 | */ | 641 | */ |
689 | int VLS_XNOR = 18; | 642 | int VLS_XNOR = 16; |
690 | 643 | ||
691 | /** | 644 | /** |
692 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 645 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -723,7 +676,7 @@ public interface VampireLanguagePackage extends EPackage | |||
723 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() | 676 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() |
724 | * @generated | 677 | * @generated |
725 | */ | 678 | */ |
726 | int VLS_NOR = 19; | 679 | int VLS_NOR = 17; |
727 | 680 | ||
728 | /** | 681 | /** |
729 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 682 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -760,7 +713,7 @@ public interface VampireLanguagePackage extends EPackage | |||
760 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() | 713 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() |
761 | * @generated | 714 | * @generated |
762 | */ | 715 | */ |
763 | int VLS_NAND = 20; | 716 | int VLS_NAND = 18; |
764 | 717 | ||
765 | /** | 718 | /** |
766 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 719 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -797,7 +750,7 @@ public interface VampireLanguagePackage extends EPackage | |||
797 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() | 750 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() |
798 | * @generated | 751 | * @generated |
799 | */ | 752 | */ |
800 | int VLS_AND = 21; | 753 | int VLS_AND = 19; |
801 | 754 | ||
802 | /** | 755 | /** |
803 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 756 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -834,7 +787,7 @@ public interface VampireLanguagePackage extends EPackage | |||
834 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() | 787 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() |
835 | * @generated | 788 | * @generated |
836 | */ | 789 | */ |
837 | int VLS_OR = 22; | 790 | int VLS_OR = 20; |
838 | 791 | ||
839 | /** | 792 | /** |
840 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 793 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -871,7 +824,7 @@ public interface VampireLanguagePackage extends EPackage | |||
871 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() | 824 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() |
872 | * @generated | 825 | * @generated |
873 | */ | 826 | */ |
874 | int VLS_UNIVERSAL_QUANTIFIER = 23; | 827 | int VLS_UNIVERSAL_QUANTIFIER = 21; |
875 | 828 | ||
876 | /** | 829 | /** |
877 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 830 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
@@ -908,7 +861,7 @@ public interface VampireLanguagePackage extends EPackage | |||
908 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() | 861 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() |
909 | * @generated | 862 | * @generated |
910 | */ | 863 | */ |
911 | int VLS_EXISTENTIAL_QUANTIFIER = 24; | 864 | int VLS_EXISTENTIAL_QUANTIFIER = 22; |
912 | 865 | ||
913 | /** | 866 | /** |
914 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 867 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
@@ -945,7 +898,7 @@ public interface VampireLanguagePackage extends EPackage | |||
945 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() | 898 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() |
946 | * @generated | 899 | * @generated |
947 | */ | 900 | */ |
948 | int VLS_UNARY_NEGATION = 25; | 901 | int VLS_UNARY_NEGATION = 23; |
949 | 902 | ||
950 | /** | 903 | /** |
951 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 904 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -973,7 +926,7 @@ public interface VampireLanguagePackage extends EPackage | |||
973 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() | 926 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() |
974 | * @generated | 927 | * @generated |
975 | */ | 928 | */ |
976 | int VLS_INEQUALITY = 26; | 929 | int VLS_INEQUALITY = 24; |
977 | 930 | ||
978 | /** | 931 | /** |
979 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 932 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1010,7 +963,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1010 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() | 963 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() |
1011 | * @generated | 964 | * @generated |
1012 | */ | 965 | */ |
1013 | int VLS_EQUALITY = 27; | 966 | int VLS_EQUALITY = 25; |
1014 | 967 | ||
1015 | /** | 968 | /** |
1016 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 969 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1047,7 +1000,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1047 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() | 1000 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() |
1048 | * @generated | 1001 | * @generated |
1049 | */ | 1002 | */ |
1050 | int VLS_ASSIGNMENT = 28; | 1003 | int VLS_ASSIGNMENT = 26; |
1051 | 1004 | ||
1052 | /** | 1005 | /** |
1053 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1006 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1084,7 +1037,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1084 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() | 1037 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() |
1085 | * @generated | 1038 | * @generated |
1086 | */ | 1039 | */ |
1087 | int VLS_CONSTANT = 29; | 1040 | int VLS_CONSTANT = 27; |
1088 | 1041 | ||
1089 | /** | 1042 | /** |
1090 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1043 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -1112,7 +1065,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1112 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() | 1065 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() |
1113 | * @generated | 1066 | * @generated |
1114 | */ | 1067 | */ |
1115 | int VLS_TRUE = 30; | 1068 | int VLS_TRUE = 28; |
1116 | 1069 | ||
1117 | /** | 1070 | /** |
1118 | * The number of structural features of the '<em>VLS True</em>' class. | 1071 | * The number of structural features of the '<em>VLS True</em>' class. |
@@ -1131,7 +1084,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1131 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() | 1084 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() |
1132 | * @generated | 1085 | * @generated |
1133 | */ | 1086 | */ |
1134 | int VLS_FALSE = 31; | 1087 | int VLS_FALSE = 29; |
1135 | 1088 | ||
1136 | /** | 1089 | /** |
1137 | * The number of structural features of the '<em>VLS False</em>' class. | 1090 | * The number of structural features of the '<em>VLS False</em>' class. |
@@ -1150,7 +1103,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1150 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() | 1103 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() |
1151 | * @generated | 1104 | * @generated |
1152 | */ | 1105 | */ |
1153 | int VLS_FUNCTION = 32; | 1106 | int VLS_FUNCTION = 30; |
1154 | 1107 | ||
1155 | /** | 1108 | /** |
1156 | * The feature id for the '<em><b>Constant</b></em>' attribute. | 1109 | * The feature id for the '<em><b>Constant</b></em>' attribute. |
@@ -1187,7 +1140,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1187 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() | 1140 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() |
1188 | * @generated | 1141 | * @generated |
1189 | */ | 1142 | */ |
1190 | int VLS_LESS = 33; | 1143 | int VLS_LESS = 31; |
1191 | 1144 | ||
1192 | /** | 1145 | /** |
1193 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1146 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -1224,7 +1177,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1224 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() | 1177 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() |
1225 | * @generated | 1178 | * @generated |
1226 | */ | 1179 | */ |
1227 | int VLS_INT = 34; | 1180 | int VLS_INT = 32; |
1228 | 1181 | ||
1229 | /** | 1182 | /** |
1230 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1183 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1252,7 +1205,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1252 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() | 1205 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() |
1253 | * @generated | 1206 | * @generated |
1254 | */ | 1207 | */ |
1255 | int VLS_REAL = 35; | 1208 | int VLS_REAL = 33; |
1256 | 1209 | ||
1257 | /** | 1210 | /** |
1258 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1211 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1280,7 +1233,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1280 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() | 1233 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() |
1281 | * @generated | 1234 | * @generated |
1282 | */ | 1235 | */ |
1283 | int VLS_RATIONAL = 36; | 1236 | int VLS_RATIONAL = 34; |
1284 | 1237 | ||
1285 | /** | 1238 | /** |
1286 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1239 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1308,7 +1261,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1308 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() | 1261 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() |
1309 | * @generated | 1262 | * @generated |
1310 | */ | 1263 | */ |
1311 | int VLS_DOUBLE_QUOTE = 37; | 1264 | int VLS_DOUBLE_QUOTE = 35; |
1312 | 1265 | ||
1313 | /** | 1266 | /** |
1314 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1267 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1489,37 +1442,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1489 | EClass getVLSSatisfiable(); | 1442 | EClass getVLSSatisfiable(); |
1490 | 1443 | ||
1491 | /** | 1444 | /** |
1492 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'. | ||
1493 | * <!-- begin-user-doc --> | ||
1494 | * <!-- end-user-doc --> | ||
1495 | * @return the meta object for class '<em>VLS Trying</em>'. | ||
1496 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying | ||
1497 | * @generated | ||
1498 | */ | ||
1499 | EClass getVLSTrying(); | ||
1500 | |||
1501 | /** | ||
1502 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName <em>Name</em>}'. | ||
1503 | * <!-- begin-user-doc --> | ||
1504 | * <!-- end-user-doc --> | ||
1505 | * @return the meta object for the attribute '<em>Name</em>'. | ||
1506 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName() | ||
1507 | * @see #getVLSTrying() | ||
1508 | * @generated | ||
1509 | */ | ||
1510 | EAttribute getVLSTrying_Name(); | ||
1511 | |||
1512 | /** | ||
1513 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'. | ||
1514 | * <!-- begin-user-doc --> | ||
1515 | * <!-- end-user-doc --> | ||
1516 | * @return the meta object for class '<em>VLS Finite Model</em>'. | ||
1517 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel | ||
1518 | * @generated | ||
1519 | */ | ||
1520 | EClass getVLSFiniteModel(); | ||
1521 | |||
1522 | /** | ||
1523 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. | 1445 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. |
1524 | * <!-- begin-user-doc --> | 1446 | * <!-- begin-user-doc --> |
1525 | * <!-- end-user-doc --> | 1447 | * <!-- end-user-doc --> |
@@ -2492,34 +2414,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2492 | EClass VLS_SATISFIABLE = eINSTANCE.getVLSSatisfiable(); | 2414 | EClass VLS_SATISFIABLE = eINSTANCE.getVLSSatisfiable(); |
2493 | 2415 | ||
2494 | /** | 2416 | /** |
2495 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl <em>VLS Trying</em>}' class. | ||
2496 | * <!-- begin-user-doc --> | ||
2497 | * <!-- end-user-doc --> | ||
2498 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl | ||
2499 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() | ||
2500 | * @generated | ||
2501 | */ | ||
2502 | EClass VLS_TRYING = eINSTANCE.getVLSTrying(); | ||
2503 | |||
2504 | /** | ||
2505 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | ||
2506 | * <!-- begin-user-doc --> | ||
2507 | * <!-- end-user-doc --> | ||
2508 | * @generated | ||
2509 | */ | ||
2510 | EAttribute VLS_TRYING__NAME = eINSTANCE.getVLSTrying_Name(); | ||
2511 | |||
2512 | /** | ||
2513 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl <em>VLS Finite Model</em>}' class. | ||
2514 | * <!-- begin-user-doc --> | ||
2515 | * <!-- end-user-doc --> | ||
2516 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl | ||
2517 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() | ||
2518 | * @generated | ||
2519 | */ | ||
2520 | EClass VLS_FINITE_MODEL = eINSTANCE.getVLSFiniteModel(); | ||
2521 | |||
2522 | /** | ||
2523 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. | 2417 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. |
2524 | * <!-- begin-user-doc --> | 2418 | * <!-- begin-user-doc --> |
2525 | * <!-- end-user-doc --> | 2419 | * <!-- end-user-doc --> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java index cd4a7a01..c3c74fe9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |||
@@ -71,8 +71,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
71 | case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); | 71 | case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); |
72 | case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations(); | 72 | case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations(); |
73 | case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable(); | 73 | case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable(); |
74 | case VampireLanguagePackage.VLS_TRYING: return createVLSTrying(); | ||
75 | case VampireLanguagePackage.VLS_FINITE_MODEL: return createVLSFiniteModel(); | ||
76 | case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); | 74 | case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); |
77 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); | 75 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); |
78 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); | 76 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); |
@@ -179,28 +177,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
179 | * <!-- end-user-doc --> | 177 | * <!-- end-user-doc --> |
180 | * @generated | 178 | * @generated |
181 | */ | 179 | */ |
182 | public VLSTrying createVLSTrying() | ||
183 | { | ||
184 | VLSTryingImpl vlsTrying = new VLSTryingImpl(); | ||
185 | return vlsTrying; | ||
186 | } | ||
187 | |||
188 | /** | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | */ | ||
193 | public VLSFiniteModel createVLSFiniteModel() | ||
194 | { | ||
195 | VLSFiniteModelImpl vlsFiniteModel = new VLSFiniteModelImpl(); | ||
196 | return vlsFiniteModel; | ||
197 | } | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | public VLSFofFormula createVLSFofFormula() | 180 | public VLSFofFormula createVLSFofFormula() |
205 | { | 181 | { |
206 | VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); | 182 | VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java index ff71ff74..2b131272 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |||
@@ -15,7 +15,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | |||
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | 15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; |
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; |
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel; | ||
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | 20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; |
@@ -35,7 +34,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; | |||
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; | 35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; |
37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | 36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; |
38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying; | ||
39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | 37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; |
40 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
41 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
@@ -106,20 +104,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
106 | * <!-- end-user-doc --> | 104 | * <!-- end-user-doc --> |
107 | * @generated | 105 | * @generated |
108 | */ | 106 | */ |
109 | private EClass vlsTryingEClass = null; | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | private EClass vlsFiniteModelEClass = null; | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | private EClass vlsFofFormulaEClass = null; | 107 | private EClass vlsFofFormulaEClass = null; |
124 | 108 | ||
125 | /** | 109 | /** |
@@ -543,36 +527,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
543 | * <!-- end-user-doc --> | 527 | * <!-- end-user-doc --> |
544 | * @generated | 528 | * @generated |
545 | */ | 529 | */ |
546 | public EClass getVLSTrying() | ||
547 | { | ||
548 | return vlsTryingEClass; | ||
549 | } | ||
550 | |||
551 | /** | ||
552 | * <!-- begin-user-doc --> | ||
553 | * <!-- end-user-doc --> | ||
554 | * @generated | ||
555 | */ | ||
556 | public EAttribute getVLSTrying_Name() | ||
557 | { | ||
558 | return (EAttribute)vlsTryingEClass.getEStructuralFeatures().get(0); | ||
559 | } | ||
560 | |||
561 | /** | ||
562 | * <!-- begin-user-doc --> | ||
563 | * <!-- end-user-doc --> | ||
564 | * @generated | ||
565 | */ | ||
566 | public EClass getVLSFiniteModel() | ||
567 | { | ||
568 | return vlsFiniteModelEClass; | ||
569 | } | ||
570 | |||
571 | /** | ||
572 | * <!-- begin-user-doc --> | ||
573 | * <!-- end-user-doc --> | ||
574 | * @generated | ||
575 | */ | ||
576 | public EClass getVLSFofFormula() | 530 | public EClass getVLSFofFormula() |
577 | { | 531 | { |
578 | return vlsFofFormulaEClass; | 532 | return vlsFofFormulaEClass; |
@@ -1389,11 +1343,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1389 | 1343 | ||
1390 | vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE); | 1344 | vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE); |
1391 | 1345 | ||
1392 | vlsTryingEClass = createEClass(VLS_TRYING); | ||
1393 | createEAttribute(vlsTryingEClass, VLS_TRYING__NAME); | ||
1394 | |||
1395 | vlsFiniteModelEClass = createEClass(VLS_FINITE_MODEL); | ||
1396 | |||
1397 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); | 1346 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); |
1398 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); | 1347 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); |
1399 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); | 1348 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); |
@@ -1581,11 +1530,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1581 | 1530 | ||
1582 | initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1531 | initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1583 | 1532 | ||
1584 | initEClass(vlsTryingEClass, VLSTrying.class, "VLSTrying", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1585 | initEAttribute(getVLSTrying_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTrying.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1586 | |||
1587 | initEClass(vlsFiniteModelEClass, VLSFiniteModel.class, "VLSFiniteModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1588 | |||
1589 | initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1533 | initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1590 | initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1534 | initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1591 | initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1535 | initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java index 90781f47..41e073ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | |||
@@ -106,16 +106,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
106 | return createVLSSatisfiableAdapter(); | 106 | return createVLSSatisfiableAdapter(); |
107 | } | 107 | } |
108 | @Override | 108 | @Override |
109 | public Adapter caseVLSTrying(VLSTrying object) | ||
110 | { | ||
111 | return createVLSTryingAdapter(); | ||
112 | } | ||
113 | @Override | ||
114 | public Adapter caseVLSFiniteModel(VLSFiniteModel object) | ||
115 | { | ||
116 | return createVLSFiniteModelAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter caseVLSFofFormula(VLSFofFormula object) | 109 | public Adapter caseVLSFofFormula(VLSFofFormula object) |
120 | { | 110 | { |
121 | return createVLSFofFormulaAdapter(); | 111 | return createVLSFofFormulaAdapter(); |
@@ -378,36 +368,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
378 | } | 368 | } |
379 | 369 | ||
380 | /** | 370 | /** |
381 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'. | ||
382 | * <!-- begin-user-doc --> | ||
383 | * This default implementation returns null so that we can easily ignore cases; | ||
384 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
385 | * <!-- end-user-doc --> | ||
386 | * @return the new adapter. | ||
387 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying | ||
388 | * @generated | ||
389 | */ | ||
390 | public Adapter createVLSTryingAdapter() | ||
391 | { | ||
392 | return null; | ||
393 | } | ||
394 | |||
395 | /** | ||
396 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'. | ||
397 | * <!-- begin-user-doc --> | ||
398 | * This default implementation returns null so that we can easily ignore cases; | ||
399 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
400 | * <!-- end-user-doc --> | ||
401 | * @return the new adapter. | ||
402 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel | ||
403 | * @generated | ||
404 | */ | ||
405 | public Adapter createVLSFiniteModelAdapter() | ||
406 | { | ||
407 | return null; | ||
408 | } | ||
409 | |||
410 | /** | ||
411 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. | 371 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. |
412 | * <!-- begin-user-doc --> | 372 | * <!-- begin-user-doc --> |
413 | * This default implementation returns null so that we can easily ignore cases; | 373 | * This default implementation returns null so that we can easily ignore cases; |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java index eddb3b4c..24ad4238 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java | |||
@@ -116,20 +116,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
116 | if (result == null) result = defaultCase(theEObject); | 116 | if (result == null) result = defaultCase(theEObject); |
117 | return result; | 117 | return result; |
118 | } | 118 | } |
119 | case VampireLanguagePackage.VLS_TRYING: | ||
120 | { | ||
121 | VLSTrying vlsTrying = (VLSTrying)theEObject; | ||
122 | T result = caseVLSTrying(vlsTrying); | ||
123 | if (result == null) result = defaultCase(theEObject); | ||
124 | return result; | ||
125 | } | ||
126 | case VampireLanguagePackage.VLS_FINITE_MODEL: | ||
127 | { | ||
128 | VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject; | ||
129 | T result = caseVLSFiniteModel(vlsFiniteModel); | ||
130 | if (result == null) result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
133 | case VampireLanguagePackage.VLS_FOF_FORMULA: | 119 | case VampireLanguagePackage.VLS_FOF_FORMULA: |
134 | { | 120 | { |
135 | VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject; | 121 | VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject; |
@@ -471,38 +457,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
471 | } | 457 | } |
472 | 458 | ||
473 | /** | 459 | /** |
474 | * Returns the result of interpreting the object as an instance of '<em>VLS Trying</em>'. | ||
475 | * <!-- begin-user-doc --> | ||
476 | * This implementation returns null; | ||
477 | * returning a non-null result will terminate the switch. | ||
478 | * <!-- end-user-doc --> | ||
479 | * @param object the target of the switch. | ||
480 | * @return the result of interpreting the object as an instance of '<em>VLS Trying</em>'. | ||
481 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
482 | * @generated | ||
483 | */ | ||
484 | public T caseVLSTrying(VLSTrying object) | ||
485 | { | ||
486 | return null; | ||
487 | } | ||
488 | |||
489 | /** | ||
490 | * Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'. | ||
491 | * <!-- begin-user-doc --> | ||
492 | * This implementation returns null; | ||
493 | * returning a non-null result will terminate the switch. | ||
494 | * <!-- end-user-doc --> | ||
495 | * @param object the target of the switch. | ||
496 | * @return the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'. | ||
497 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
498 | * @generated | ||
499 | */ | ||
500 | public T caseVLSFiniteModel(VLSFiniteModel object) | ||
501 | { | ||
502 | return null; | ||
503 | } | ||
504 | |||
505 | /** | ||
506 | * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. | 460 | * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. |
507 | * <!-- begin-user-doc --> | 461 | * <!-- begin-user-doc --> |
508 | * This implementation returns null; | 462 | * This implementation returns null; |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext index a76107c4..2b5958ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | |||
@@ -85,13 +85,13 @@ VLSSatisfiable: | |||
85 | {VLSSatisfiable} 'Satisfiable!' | 85 | {VLSSatisfiable} 'Satisfiable!' |
86 | ; | 86 | ; |
87 | 87 | ||
88 | VLSTrying: | 88 | //VLSTrying: |
89 | 'TRYING' '[' name = LITERAL ']' | 89 | // 'TRYING' '[' name = LITERAL ']' |
90 | ; | 90 | //; |
91 | 91 | // | |
92 | VLSFiniteModel: | 92 | //VLSFiniteModel: |
93 | {VLSFiniteModel} 'Finite' 'Model' 'Found!' | 93 | // {VLSFiniteModel} 'Finite' 'Model' 'Found!' |
94 | ; | 94 | //; |
95 | 95 | ||
96 | // <FOF formulas> | 96 | // <FOF formulas> |
97 | VLSFofFormula: | 97 | VLSFofFormula: |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend index 4398d659..f943daad 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | |||
@@ -38,11 +38,11 @@ class VampireLanguageFormatter extends AbstractFormatter2 { | |||
38 | } | 38 | } |
39 | 39 | ||
40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ | 40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ |
41 | // formula.append[newLine] | 41 | formula.append[newLine] |
42 | } | 42 | } |
43 | 43 | ||
44 | def dispatch void format(VLSComment comment, extension IFormattableDocument document){ | 44 | def dispatch void format(VLSComment comment, extension IFormattableDocument document){ |
45 | // comment.append[newLine] | 45 | comment.append[newLine] |
46 | } | 46 | } |
47 | // TODO: implement for VLSFofFormula, VLSAnnotation, VLSAnd, VLSOr, VLSUniversalQuantifier, VLSExistentialQuantifier, VLSUnaryNegation, VLSFunction, VLSLess, VLSFunctionFof, VLSEquivalent, VLSImplies, VLSRevImplies, VLSXnor, VLSNor, VLSNand, VLSInequality, VLSEquality, VLSAssignment | 47 | // TODO: implement for VLSFofFormula, VLSAnnotation, VLSAnd, VLSOr, VLSUniversalQuantifier, VLSExistentialQuantifier, VLSUnaryNegation, VLSFunction, VLSLess, VLSFunctionFof, VLSEquivalent, VLSImplies, VLSRevImplies, VLSXnor, VLSNor, VLSNand, VLSInequality, VLSEquality, VLSAssignment |
48 | } | 48 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin index 0f621faf..e0367170 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin index c7c7a12c..906c39f5 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin index c21238ee..47a395a0 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java index c439bbdb..73a032e7 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java | |||
@@ -15,8 +15,10 @@ import org.eclipse.emf.common.util.EList; | |||
15 | import org.eclipse.emf.ecore.EObject; | 15 | import org.eclipse.emf.ecore.EObject; |
16 | import org.eclipse.xtext.formatting2.AbstractFormatter2; | 16 | import org.eclipse.xtext.formatting2.AbstractFormatter2; |
17 | import org.eclipse.xtext.formatting2.IFormattableDocument; | 17 | import org.eclipse.xtext.formatting2.IFormattableDocument; |
18 | import org.eclipse.xtext.formatting2.IHiddenRegionFormatter; | ||
18 | import org.eclipse.xtext.resource.XtextResource; | 19 | import org.eclipse.xtext.resource.XtextResource; |
19 | import org.eclipse.xtext.xbase.lib.Extension; | 20 | import org.eclipse.xtext.xbase.lib.Extension; |
21 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | ||
20 | 22 | ||
21 | @SuppressWarnings("all") | 23 | @SuppressWarnings("all") |
22 | public class VampireLanguageFormatter extends AbstractFormatter2 { | 24 | public class VampireLanguageFormatter extends AbstractFormatter2 { |
@@ -47,9 +49,17 @@ public class VampireLanguageFormatter extends AbstractFormatter2 { | |||
47 | } | 49 | } |
48 | 50 | ||
49 | protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) { | 51 | protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) { |
52 | final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> { | ||
53 | it.newLine(); | ||
54 | }; | ||
55 | document.<VLSFofFormula>append(formula, _function); | ||
50 | } | 56 | } |
51 | 57 | ||
52 | protected void _format(final VLSComment comment, @Extension final IFormattableDocument document) { | 58 | protected void _format(final VLSComment comment, @Extension final IFormattableDocument document) { |
59 | final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> { | ||
60 | it.newLine(); | ||
61 | }; | ||
62 | document.<VLSComment>append(comment, _function); | ||
53 | } | 63 | } |
54 | 64 | ||
55 | public void format(final Object comment, final IFormattableDocument document) { | 65 | public void format(final Object comment, final IFormattableDocument document) { |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/generator/.VampireLanguageGenerator.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/generator/.VampireLanguageGenerator.xtendbin index 763ffecc..74f517cf 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/generator/.VampireLanguageGenerator.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/generator/.VampireLanguageGenerator.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin index 7aa1da64..3c09270e 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin index 7b46ca82..96e8559a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin | |||
Binary files differ | |||