aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java
diff options
context:
space:
mode:
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.java78
1 files changed, 78 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
new file mode 100644
index 00000000..fae3ccf5
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireModel.java
@@ -0,0 +1,78 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage;
5
6import org.eclipse.emf.common.util.EList;
7
8import org.eclipse.emf.ecore.EObject;
9
10/**
11 * <!-- begin-user-doc -->
12 * A representation of the model object '<em><b>Vampire Model</b></em>'.
13 * <!-- end-user-doc -->
14 *
15 * <p>
16 * The following features are supported:
17 * </p>
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>
21 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas <em>Formulas</em>}</li>
22 * </ul>
23 *
24 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel()
25 * @model
26 * @generated
27 */
28public interface VampireModel extends EObject
29{
30 /**
31 * Returns the value of the '<em><b>Includes</b></em>' containment reference list.
32 * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude}.
33 * <!-- begin-user-doc -->
34 * <p>
35 * If the meaning of the '<em>Includes</em>' containment reference list isn't clear,
36 * there really should be more of a description here...
37 * </p>
38 * <!-- end-user-doc -->
39 * @return the value of the '<em>Includes</em>' containment reference list.
40 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel_Includes()
41 * @model containment="true"
42 * @generated
43 */
44 EList<VLSInclude> getIncludes();
45
46 /**
47 * Returns the value of the '<em><b>Comments</b></em>' containment reference list.
48 * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment}.
49 * <!-- begin-user-doc -->
50 * <p>
51 * If the meaning of the '<em>Comments</em>' containment reference list isn't clear,
52 * there really should be more of a description here...
53 * </p>
54 * <!-- end-user-doc -->
55 * @return the value of the '<em>Comments</em>' containment reference list.
56 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel_Comments()
57 * @model containment="true"
58 * @generated
59 */
60 EList<VLSComment> getComments();
61
62 /**
63 * 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}.
65 * <!-- begin-user-doc -->
66 * <p>
67 * If the meaning of the '<em>Formulas</em>' containment reference list isn't clear,
68 * there really should be more of a description here...
69 * </p>
70 * <!-- end-user-doc -->
71 * @return the value of the '<em>Formulas</em>' containment reference list.
72 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVampireModel_Formulas()
73 * @model containment="true"
74 * @generated
75 */
76 EList<VLSFofFormula> getFormulas();
77
78} // VampireModel