diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java index b9bfbe07..e3482fb8 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java | |||
@@ -4,8 +4,8 @@ | |||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
10 | 10 | ||
11 | import java.util.Collection; | 11 | import java.util.Collection; |
@@ -47,7 +47,7 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver | |||
47 | * @generated | 47 | * @generated |
48 | * @ordered | 48 | * @ordered |
49 | */ | 49 | */ |
50 | protected EList<VLSVariableDeclaration> variables; | 50 | protected EList<VLSTffTerm> variables; |
51 | 51 | ||
52 | /** | 52 | /** |
53 | * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference. | 53 | * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference. |
@@ -85,11 +85,11 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver | |||
85 | * <!-- end-user-doc --> | 85 | * <!-- end-user-doc --> |
86 | * @generated | 86 | * @generated |
87 | */ | 87 | */ |
88 | public EList<VLSVariableDeclaration> getVariables() | 88 | public EList<VLSTffTerm> getVariables() |
89 | { | 89 | { |
90 | if (variables == null) | 90 | if (variables == null) |
91 | { | 91 | { |
92 | variables = new EObjectContainmentEList<VLSVariableDeclaration>(VLSVariableDeclaration.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES); | 92 | variables = new EObjectContainmentEList<VLSTffTerm>(VLSTffTerm.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES); |
93 | } | 93 | } |
94 | return variables; | 94 | return variables; |
95 | } | 95 | } |
@@ -191,7 +191,7 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver | |||
191 | { | 191 | { |
192 | case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES: | 192 | case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES: |
193 | getVariables().clear(); | 193 | getVariables().clear(); |
194 | getVariables().addAll((Collection<? extends VLSVariableDeclaration>)newValue); | 194 | getVariables().addAll((Collection<? extends VLSTffTerm>)newValue); |
195 | return; | 195 | return; |
196 | case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND: | 196 | case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND: |
197 | setOperand((VLSTerm)newValue); | 197 | setOperand((VLSTerm)newValue); |