diff options
author | 2021-06-26 21:43:55 +0200 | |
---|---|---|
committer | 2021-06-26 21:43:55 +0200 | |
commit | e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009 (patch) | |
tree | 29ae119d1e17ace16115a82eef60b5b0bd886aba /org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Atom.java | |
parent | Add initial prototype (diff) | |
download | refinery-e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009.tar.gz refinery-e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009.tar.zst refinery-e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009.zip |
FIx scoping, extend grammar
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Atom.java')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Atom.java | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Atom.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Atom.java index bee08d8d..d1b4d3fe 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Atom.java +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/Atom.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.Atom#getRelation <em>Relation</em>}</li> | 16 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Atom#getRelation <em>Relation</em>}</li> |
17 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Atom#getArguments <em>Arguments</em>}</li> | ||
18 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure <em>Transitive Closure</em>}</li> | 17 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure <em>Transitive Closure</em>}</li> |
18 | * <li>{@link org.eclipse.viatra.solver.language.model.problem.Atom#getArguments <em>Arguments</em>}</li> | ||
19 | * </ul> | 19 | * </ul> |
20 | * | 20 | * |
21 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getAtom() | 21 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getAtom() |
@@ -46,16 +46,16 @@ public interface Atom extends Literal { | |||
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.Variable}. | 50 | * The list contents are of type {@link org.eclipse.viatra.solver.language.model.problem.Argument}. |
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#getAtom_Arguments() | 54 | * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getAtom_Arguments() |
55 | * @model | 55 | * @model containment="true" |
56 | * @generated | 56 | * @generated |
57 | */ | 57 | */ |
58 | EList<Variable> getArguments(); | 58 | EList<Argument> getArguments(); |
59 | 59 | ||
60 | /** | 60 | /** |
61 | * Returns the value of the '<em><b>Transitive Closure</b></em>' attribute. | 61 | * Returns the value of the '<em><b>Transitive Closure</b></em>' attribute. |