From 7febe0b4781c5bb0fab34895ad642040ae143a8b Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 27 Jun 2021 23:21:42 +0200 Subject: Add data constant support --- .../model/problem/VariableOrNodeArgument.java | 67 ++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/VariableOrNodeArgument.java (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/VariableOrNodeArgument.java') diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/VariableOrNodeArgument.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/VariableOrNodeArgument.java new file mode 100644 index 00000000..02032585 --- /dev/null +++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/VariableOrNodeArgument.java @@ -0,0 +1,67 @@ +/** + */ +package org.eclipse.viatra.solver.language.model.problem; + +/** + * + * A representation of the model object 'Variable Or Node Argument'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getVariableOrNodeArgument() + * @model + * @generated + */ +public interface VariableOrNodeArgument extends Argument { + /** + * Returns the value of the 'Variable Or Node' reference. + * + * + * @return the value of the 'Variable Or Node' reference. + * @see #setVariableOrNode(VariableOrNode) + * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getVariableOrNodeArgument_VariableOrNode() + * @model + * @generated + */ + VariableOrNode getVariableOrNode(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getVariableOrNode Variable Or Node}' reference. + * + * + * @param value the new value of the 'Variable Or Node' reference. + * @see #getVariableOrNode() + * @generated + */ + void setVariableOrNode(VariableOrNode value); + + /** + * Returns the value of the 'Singleton Variable' containment reference. + * + * + * @return the value of the 'Singleton Variable' containment reference. + * @see #setSingletonVariable(ImplicitVariable) + * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getVariableOrNodeArgument_SingletonVariable() + * @model containment="true" + * @generated + */ + ImplicitVariable getSingletonVariable(); + + /** + * Sets the value of the '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getSingletonVariable Singleton Variable}' containment reference. + * + * + * @param value the new value of the 'Singleton Variable' containment reference. + * @see #getSingletonVariable() + * @generated + */ + void setSingletonVariable(ImplicitVariable value); + +} // VariableOrNodeArgument -- cgit v1.2.3-70-g09d2