/** */ package org.eclipse.viatra.solver.language.model.problem; /** * * A representation of the model object 'Node Value Assertion'. * * *

* The following features are supported: *

* * * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getNodeValueAssertion() * @model * @generated */ public interface NodeValueAssertion extends Statement { /** * Returns the value of the 'Node' reference. * * * @return the value of the 'Node' reference. * @see #setNode(Node) * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getNodeValueAssertion_Node() * @model * @generated */ Node getNode(); /** * Sets the value of the '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getNode Node}' reference. * * * @param value the new value of the 'Node' reference. * @see #getNode() * @generated */ void setNode(Node value); /** * Returns the value of the 'Value' containment reference. * * * @return the value of the 'Value' containment reference. * @see #setValue(Constant) * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getNodeValueAssertion_Value() * @model containment="true" * @generated */ Constant getValue(); /** * Sets the value of the '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getValue Value}' containment reference. * * * @param value the new value of the 'Value' containment reference. * @see #getValue() * @generated */ void setValue(Constant value); } // NodeValueAssertion