diff options
author | 2019-09-02 03:47:21 -0400 | |
---|---|---|
committer | 2019-09-02 03:47:21 -0400 | |
commit | 4474dfbaa958e7bba92f794445f574c1fdcbe65f (patch) | |
tree | 8334f9e19225821f416e89c1291e4c95618c8370 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java | |
parent | VAMPIRE: setup structure of model interpretation (diff) | |
download | VIATRA-Generator-4474dfbaa958e7bba92f794445f574c1fdcbe65f.tar.gz VIATRA-Generator-4474dfbaa958e7bba92f794445f574c1fdcbe65f.tar.zst VIATRA-Generator-4474dfbaa958e7bba92f794445f574c1fdcbe65f.zip |
VAMPIRE: implement Vampire Model Interpreter, 2/3 done
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java index 00dd1733..9e7da58a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java | |||
@@ -26,7 +26,7 @@ public interface VLSUniversalQuantifier extends VLSTerm | |||
26 | { | 26 | { |
27 | /** | 27 | /** |
28 | * Returns the value of the '<em><b>Variables</b></em>' containment reference list. | 28 | * Returns the value of the '<em><b>Variables</b></em>' containment reference list. |
29 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration}. | 29 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm}. |
30 | * <!-- begin-user-doc --> | 30 | * <!-- begin-user-doc --> |
31 | * <p> | 31 | * <p> |
32 | * If the meaning of the '<em>Variables</em>' containment reference list isn't clear, | 32 | * If the meaning of the '<em>Variables</em>' containment reference list isn't clear, |
@@ -38,7 +38,7 @@ public interface VLSUniversalQuantifier extends VLSTerm | |||
38 | * @model containment="true" | 38 | * @model containment="true" |
39 | * @generated | 39 | * @generated |
40 | */ | 40 | */ |
41 | EList<VLSVariableDeclaration> getVariables(); | 41 | EList<VLSTffTerm> getVariables(); |
42 | 42 | ||
43 | /** | 43 | /** |
44 | * Returns the value of the '<em><b>Operand</b></em>' containment reference. | 44 | * Returns the value of the '<em><b>Operand</b></em>' containment reference. |