diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java | 14 |
1 files changed, 7 insertions, 7 deletions
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 890341db..bae51ef0 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 | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.serializer; | 4 | package ca.mcgill.ecse.dslreasoner.serializer; |
5 | 5 | ||
@@ -16,7 +16,7 @@ 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.VLSFofFormula; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm; |
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; | 20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; |
21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; | 21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; |
22 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; | 22 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; |
@@ -107,8 +107,8 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
107 | case VampireLanguagePackage.VLS_FUNCTION: | 107 | case VampireLanguagePackage.VLS_FUNCTION: |
108 | sequence_VLSAtomicFunction(context, (VLSFunction) semanticObject); | 108 | sequence_VLSAtomicFunction(context, (VLSFunction) semanticObject); |
109 | return; | 109 | return; |
110 | case VampireLanguagePackage.VLS_FUNCTION_FOF: | 110 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: |
111 | sequence_VLSFunctionFof(context, (VLSFunctionFof) semanticObject); | 111 | sequence_VLSFunctionAsTerm(context, (VLSFunctionAsTerm) semanticObject); |
112 | return; | 112 | return; |
113 | case VampireLanguagePackage.VLS_IMPLIES: | 113 | case VampireLanguagePackage.VLS_IMPLIES: |
114 | sequence_VLSBinary(context, (VLSImplies) semanticObject); | 114 | sequence_VLSBinary(context, (VLSImplies) semanticObject); |
@@ -786,13 +786,13 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic | |||
786 | 786 | ||
787 | /** | 787 | /** |
788 | * Contexts: | 788 | * Contexts: |
789 | * VLSFofTerm returns VLSFunctionFof | 789 | * VLSFofTerm returns VLSFunctionAsTerm |
790 | * VLSFunctionFof returns VLSFunctionFof | 790 | * VLSFunctionAsTerm returns VLSFunctionAsTerm |
791 | * | 791 | * |
792 | * Constraint: | 792 | * Constraint: |
793 | * ((functor=LOWER_WORD_ID | functor=SINGLE_QUOTE | functor=DOLLAR_ID | functor=DOUBLE_DOLLAR_ID) (terms+=VLSFofTerm terms+=VLSFofTerm*)?) | 793 | * ((functor=LOWER_WORD_ID | functor=SINGLE_QUOTE | functor=DOLLAR_ID | functor=DOUBLE_DOLLAR_ID) (terms+=VLSFofTerm terms+=VLSFofTerm*)?) |
794 | */ | 794 | */ |
795 | protected void sequence_VLSFunctionFof(ISerializationContext context, VLSFunctionFof semanticObject) { | 795 | protected void sequence_VLSFunctionAsTerm(ISerializationContext context, VLSFunctionAsTerm semanticObject) { |
796 | genericSequencer.createSequence(context, semanticObject); | 796 | genericSequencer.createSequence(context, semanticObject); |
797 | } | 797 | } |
798 | 798 | ||