/** */ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; import org.eclipse.emf.common.util.EList; import org.eclipse.emf.ecore.EObject; /** * * A representation of the model object 'Partial Interpretation'. * * *
* The following features are supported: *
** If the meaning of the 'Problem' reference isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Problem' reference. * @see #setProblem(LogicProblem) * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Problem() * @model required="true" * @generated */ LogicProblem getProblem(); /** * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem Problem}' reference. * * * @param value the new value of the 'Problem' reference. * @see #getProblem() * @generated */ void setProblem(LogicProblem value); /** * Returns the value of the 'Partialconstantinterpretation' containment reference list. * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation}. * ** If the meaning of the 'Partialconstantinterpretation' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Partialconstantinterpretation' containment reference list. * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialconstantinterpretation() * @model containment="true" * @generated */ EList* If the meaning of the 'Partialrelationinterpretation' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Partialrelationinterpretation' containment reference list. * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialrelationinterpretation() * @model containment="true" * @generated */ EList* If the meaning of the 'Partialfunctioninterpretation' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Partialfunctioninterpretation' containment reference list. * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialfunctioninterpretation() * @model containment="true" * @generated */ EList* If the meaning of the 'New Elements' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'New Elements' containment reference list. * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewElements() * @model containment="true" * @generated */ EList* If the meaning of the 'Partialtypeinterpratation' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Partialtypeinterpratation' containment reference list. * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialtypeinterpratation() * @model containment="true" * @generated */ EList* If the meaning of the 'Open World Elements' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Open World Elements' containment reference list. * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElements() * @model containment="true" * @generated */ EList* If the meaning of the 'Problem Conainer' containment reference isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Problem Conainer' containment reference. * @see #setProblemConainer(LogicProblem) * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_ProblemConainer() * @model containment="true" * @generated */ LogicProblem getProblemConainer(); /** * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}' containment reference. * * * @param value the new value of the 'Problem Conainer' containment reference. * @see #getProblemConainer() * @generated */ void setProblemConainer(LogicProblem value); /** * Returns the value of the 'Scopes' containment reference list. * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope}. * ** If the meaning of the 'Scopes' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Scopes' containment reference list. * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Scopes() * @model containment="true" * @generated */ EList"0"
.
*
* * If the meaning of the 'Min New Elements' attribute isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Min New Elements' attribute. * @see #setMinNewElements(int) * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements() * @model default="0" required="true" * @generated */ int getMinNewElements(); /** * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}' attribute. * * * @param value the new value of the 'Min New Elements' attribute. * @see #getMinNewElements() * @generated */ void setMinNewElements(int value); /** * Returns the value of the 'Max New Elements' attribute. * The default value is"-1"
.
*
* * If the meaning of the 'Max New Elements' attribute isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Max New Elements' attribute. * @see #setMaxNewElements(int) * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements() * @model default="-1" required="true" * @generated */ int getMaxNewElements(); /** * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}' attribute. * * * @param value the new value of the 'Max New Elements' attribute. * @see #getMaxNewElements() * @generated */ void setMaxNewElements(int value); } // PartialInterpretation