diff options
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 | 17 |
1 files changed, 0 insertions, 17 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 be0e2f59..af1386f1 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 | |||
@@ -16,7 +16,6 @@ import org.eclipse.emf.ecore.EObject; | |||
16 | * The following features are supported: | 16 | * The following features are supported: |
17 | * </p> | 17 | * </p> |
18 | * <ul> | 18 | * <ul> |
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> | 19 | * <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> | 20 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getConfirmations <em>Confirmations</em>}</li> |
22 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas <em>Formulas</em>}</li> | 21 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas <em>Formulas</em>}</li> |
@@ -30,22 +29,6 @@ import org.eclipse.emf.ecore.EObject; | |||
30 | public interface VampireModel extends EObject | 29 | public interface VampireModel extends EObject |
31 | { | 30 | { |
32 | /** | 31 | /** |
33 | * Returns the value of the '<em><b>Includes</b></em>' containment reference list. | ||
34 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude}. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <p> | ||
37 | * If the meaning of the '<em>Includes</em>' containment reference list isn't clear, | ||
38 | * there really should be more of a description here... | ||
39 | * </p> | ||
40 | * <!-- end-user-doc --> | ||
41 | * @return the value of the '<em>Includes</em>' containment reference list. | ||
42 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel_Includes() | ||
43 | * @model containment="true" | ||
44 | * @generated | ||
45 | */ | ||
46 | EList<VLSInclude> getIncludes(); | ||
47 | |||
48 | /** | ||
49 | * Returns the value of the '<em><b>Comments</b></em>' containment reference list. | 32 | * Returns the value of the '<em><b>Comments</b></em>' containment reference list. |
50 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment}. | 33 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment}. |
51 | * <!-- begin-user-doc --> | 34 | * <!-- begin-user-doc --> |