diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 23:21:42 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 23:30:25 +0200 |
commit | 7febe0b4781c5bb0fab34895ad642040ae143a8b (patch) | |
tree | 5bc49f9195b18a938382f2527ee4ab273527a07a /language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Assertion.java | |
parent | Electric semicolons (diff) | |
download | refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.tar.gz refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.tar.zst refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.zip |
Add data constant support
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Assertion.java')
-rw-r--r-- | language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Assertion.java | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Assertion.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Assertion.java index 758212fb..16c7ecff 100644 --- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Assertion.java +++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Assertion.java | |||
@@ -14,8 +14,8 @@ import org.eclipse.emf.common.util.EList; | |||
14 | * </p> | 14 | * </p> |
15 | * <ul> | 15 | * <ul> |
16 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation <em>Relation</em>}</li> | 16 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation <em>Relation</em>}</li> |
17 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments <em>Arguments</em>}</li> | ||
18 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getValue <em>Value</em>}</li> | 17 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getValue <em>Value</em>}</li> |
18 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments <em>Arguments</em>}</li> | ||
19 | * </ul> | 19 | * </ul> |
20 | * | 20 | * |
21 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getAssertion() | 21 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getAssertion() |
@@ -46,16 +46,16 @@ public interface Assertion extends Statement { | |||
46 | void setRelation(Relation value); | 46 | void setRelation(Relation value); |
47 | 47 | ||
48 | /** | 48 | /** |
49 | * Returns the value of the '<em><b>Arguments</b></em>' reference list. | 49 | * Returns the value of the '<em><b>Arguments</b></em>' containment reference list. |
50 | * The list contents are of type {@link org.eclipse.viatra.solver.language.model.problem.Node}. | 50 | * The list contents are of type {@link org.eclipse.viatra.solver.language.model.problem.AssertionArgument}. |
51 | * <!-- begin-user-doc --> | 51 | * <!-- begin-user-doc --> |
52 | * <!-- end-user-doc --> | 52 | * <!-- end-user-doc --> |
53 | * @return the value of the '<em>Arguments</em>' reference list. | 53 | * @return the value of the '<em>Arguments</em>' containment reference list. |
54 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getAssertion_Arguments() | 54 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getAssertion_Arguments() |
55 | * @model | 55 | * @model containment="true" |
56 | * @generated | 56 | * @generated |
57 | */ | 57 | */ |
58 | EList<Node> getArguments(); | 58 | EList<AssertionArgument> getArguments(); |
59 | 59 | ||
60 | /** | 60 | /** |
61 | * Returns the value of the '<em><b>Value</b></em>' attribute. | 61 | * Returns the value of the '<em><b>Value</b></em>' attribute. |