diff options
author | 2019-02-01 16:03:30 -0500 | |
---|---|---|
committer | 2019-02-01 16:03:30 -0500 | |
commit | 717916e99b2c8e7965fb31f4448b4336d8c2f19a (patch) | |
tree | 074c77b8465f1e47e7a28af2d95f79c1f5abaf86 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java | |
parent | FAM MM transformation works (diff) | |
download | VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.gz VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.zst VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.zip |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java index fae3ccf5..be258228 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java | |||
@@ -18,7 +18,9 @@ import org.eclipse.emf.ecore.EObject; | |||
18 | * <ul> | 18 | * <ul> |
19 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes <em>Includes</em>}</li> | 19 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes <em>Includes</em>}</li> |
20 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments <em>Comments</em>}</li> | 20 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments <em>Comments</em>}</li> |
21 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getConfirmations <em>Confirmations</em>}</li> | ||
21 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas <em>Formulas</em>}</li> | 22 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas <em>Formulas</em>}</li> |
23 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getTfformulas <em>Tfformulas</em>}</li> | ||
22 | * </ul> | 24 | * </ul> |
23 | * | 25 | * |
24 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel() | 26 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel() |
@@ -60,6 +62,22 @@ public interface VampireModel extends EObject | |||
60 | EList<VLSComment> getComments(); | 62 | EList<VLSComment> getComments(); |
61 | 63 | ||
62 | /** | 64 | /** |
65 | * Returns the value of the '<em><b>Confirmations</b></em>' containment reference list. | ||
66 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations}. | ||
67 | * <!-- begin-user-doc --> | ||
68 | * <p> | ||
69 | * If the meaning of the '<em>Confirmations</em>' containment reference list isn't clear, | ||
70 | * there really should be more of a description here... | ||
71 | * </p> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @return the value of the '<em>Confirmations</em>' containment reference list. | ||
74 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel_Confirmations() | ||
75 | * @model containment="true" | ||
76 | * @generated | ||
77 | */ | ||
78 | EList<VLSConfirmations> getConfirmations(); | ||
79 | |||
80 | /** | ||
63 | * Returns the value of the '<em><b>Formulas</b></em>' containment reference list. | 81 | * Returns the value of the '<em><b>Formulas</b></em>' containment reference list. |
64 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula}. | 82 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula}. |
65 | * <!-- begin-user-doc --> | 83 | * <!-- begin-user-doc --> |
@@ -75,4 +93,20 @@ public interface VampireModel extends EObject | |||
75 | */ | 93 | */ |
76 | EList<VLSFofFormula> getFormulas(); | 94 | EList<VLSFofFormula> getFormulas(); |
77 | 95 | ||
96 | /** | ||
97 | * Returns the value of the '<em><b>Tfformulas</b></em>' containment reference list. | ||
98 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula}. | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <p> | ||
101 | * If the meaning of the '<em>Tfformulas</em>' containment reference list isn't clear, | ||
102 | * there really should be more of a description here... | ||
103 | * </p> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @return the value of the '<em>Tfformulas</em>' containment reference list. | ||
106 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel_Tfformulas() | ||
107 | * @model containment="true" | ||
108 | * @generated | ||
109 | */ | ||
110 | EList<VLSTffFormula> getTfformulas(); | ||
111 | |||
78 | } // VampireModel | 112 | } // VampireModel |