diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java | 8 |
1 files changed, 4 insertions, 4 deletions
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 84b65a59..0fb23c87 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 | |||
@@ -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.vampireLanguage; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage; |
5 | 5 | ||
@@ -123,13 +123,13 @@ public interface VampireLanguageFactory extends EFactory | |||
123 | VLSVariable createVLSVariable(); | 123 | VLSVariable createVLSVariable(); |
124 | 124 | ||
125 | /** | 125 | /** |
126 | * Returns a new object of class '<em>VLS Function Fof</em>'. | 126 | * Returns a new object of class '<em>VLS Function As Term</em>'. |
127 | * <!-- begin-user-doc --> | 127 | * <!-- begin-user-doc --> |
128 | * <!-- end-user-doc --> | 128 | * <!-- end-user-doc --> |
129 | * @return a new object of class '<em>VLS Function Fof</em>'. | 129 | * @return a new object of class '<em>VLS Function As Term</em>'. |
130 | * @generated | 130 | * @generated |
131 | */ | 131 | */ |
132 | VLSFunctionFof createVLSFunctionFof(); | 132 | VLSFunctionAsTerm createVLSFunctionAsTerm(); |
133 | 133 | ||
134 | /** | 134 | /** |
135 | * Returns a new object of class '<em>VLS Defined Term</em>'. | 135 | * Returns a new object of class '<em>VLS Defined Term</em>'. |