aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java168
1 files changed, 168 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java
new file mode 100644
index 00000000..bf028318
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java
@@ -0,0 +1,168 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
9import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
10import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
11
12import org.eclipse.emf.common.util.EList;
13
14import org.eclipse.emf.ecore.EObject;
15
16/**
17 * <!-- begin-user-doc -->
18 * A representation of the model object '<em><b>Logic Problem</b></em>'.
19 * <!-- end-user-doc -->
20 *
21 * <p>
22 * The following features are supported:
23 * </p>
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes <em>Types</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions <em>Functions</em>}</li>
27 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions <em>Assertions</em>}</li>
28 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations <em>Relations</em>}</li>
29 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants <em>Constants</em>}</li>
30 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements <em>Elements</em>}</li>
31 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies <em>Containment Hierarchies</em>}</li>
32 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations <em>Annotations</em>}</li>
33 * </ul>
34 *
35 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem()
36 * @model
37 * @generated
38 */
39public interface LogicProblem extends EObject {
40 /**
41 * Returns the value of the '<em><b>Types</b></em>' containment reference list.
42 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type}.
43 * <!-- begin-user-doc -->
44 * <p>
45 * If the meaning of the '<em>Types</em>' containment reference list isn't clear,
46 * there really should be more of a description here...
47 * </p>
48 * <!-- end-user-doc -->
49 * @return the value of the '<em>Types</em>' containment reference list.
50 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Types()
51 * @model containment="true"
52 * @generated
53 */
54 EList<Type> getTypes();
55
56 /**
57 * Returns the value of the '<em><b>Functions</b></em>' containment reference list.
58 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function}.
59 * <!-- begin-user-doc -->
60 * <p>
61 * If the meaning of the '<em>Functions</em>' containment reference list isn't clear,
62 * there really should be more of a description here...
63 * </p>
64 * <!-- end-user-doc -->
65 * @return the value of the '<em>Functions</em>' containment reference list.
66 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Functions()
67 * @model containment="true"
68 * @generated
69 */
70 EList<Function> getFunctions();
71
72 /**
73 * Returns the value of the '<em><b>Assertions</b></em>' containment reference list.
74 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion}.
75 * <!-- begin-user-doc -->
76 * <p>
77 * If the meaning of the '<em>Assertions</em>' containment reference list isn't clear,
78 * there really should be more of a description here...
79 * </p>
80 * <!-- end-user-doc -->
81 * @return the value of the '<em>Assertions</em>' containment reference list.
82 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Assertions()
83 * @model containment="true"
84 * @generated
85 */
86 EList<Assertion> getAssertions();
87
88 /**
89 * Returns the value of the '<em><b>Relations</b></em>' containment reference list.
90 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation}.
91 * <!-- begin-user-doc -->
92 * <p>
93 * If the meaning of the '<em>Relations</em>' containment reference list isn't clear,
94 * there really should be more of a description here...
95 * </p>
96 * <!-- end-user-doc -->
97 * @return the value of the '<em>Relations</em>' containment reference list.
98 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Relations()
99 * @model containment="true"
100 * @generated
101 */
102 EList<Relation> getRelations();
103
104 /**
105 * Returns the value of the '<em><b>Constants</b></em>' containment reference list.
106 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant}.
107 * <!-- begin-user-doc -->
108 * <p>
109 * If the meaning of the '<em>Constants</em>' containment reference list isn't clear,
110 * there really should be more of a description here...
111 * </p>
112 * <!-- end-user-doc -->
113 * @return the value of the '<em>Constants</em>' containment reference list.
114 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Constants()
115 * @model containment="true"
116 * @generated
117 */
118 EList<Constant> getConstants();
119
120 /**
121 * Returns the value of the '<em><b>Elements</b></em>' containment reference list.
122 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.
123 * <!-- begin-user-doc -->
124 * <p>
125 * If the meaning of the '<em>Elements</em>' containment reference list isn't clear,
126 * there really should be more of a description here...
127 * </p>
128 * <!-- end-user-doc -->
129 * @return the value of the '<em>Elements</em>' containment reference list.
130 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Elements()
131 * @model containment="true"
132 * @generated
133 */
134 EList<DefinedElement> getElements();
135
136 /**
137 * Returns the value of the '<em><b>Containment Hierarchies</b></em>' containment reference list.
138 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy}.
139 * <!-- begin-user-doc -->
140 * <p>
141 * If the meaning of the '<em>Containment Hierarchies</em>' reference list isn't clear,
142 * there really should be more of a description here...
143 * </p>
144 * <!-- end-user-doc -->
145 * @return the value of the '<em>Containment Hierarchies</em>' containment reference list.
146 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_ContainmentHierarchies()
147 * @model containment="true"
148 * @generated
149 */
150 EList<ContainmentHierarchy> getContainmentHierarchies();
151
152 /**
153 * Returns the value of the '<em><b>Annotations</b></em>' containment reference list.
154 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation}.
155 * <!-- begin-user-doc -->
156 * <p>
157 * If the meaning of the '<em>Annotations</em>' containment reference list isn't clear,
158 * there really should be more of a description here...
159 * </p>
160 * <!-- end-user-doc -->
161 * @return the value of the '<em>Annotations</em>' containment reference list.
162 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Annotations()
163 * @model containment="true"
164 * @generated
165 */
166 EList<Annotation> getAnnotations();
167
168} // LogicProblem
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-22 15:17:14 +0000