Package tools.refinery.language.model.problem

Interface Assertion

All Superinterfaces:
AbstractAssertion, org.eclipse.emf.ecore.EObject, ExistentialQuantifier, org.eclipse.emf.common.notify.Notifier, Statement
All Known Implementing Classes:
AssertionImpl
public interface Assertion extends Statement, AbstractAssertion
A representation of the model object 'Assertion'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isDefault()
    Returns the value of the 'Default' attribute.
    void
    setDefault(boolean value)
    Sets the value of the 'Default' attribute.

    Methods inherited from interface tools.refinery.language.model.problem.AbstractAssertion

    getArguments, getRelation, getValue, setRelation, setValue

    Methods inherited from interface org.eclipse.emf.ecore.EObject

    eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

    Methods inherited from interface tools.refinery.language.model.problem.ExistentialQuantifier

    getImplicitVariables

    Methods inherited from interface org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver

  • Method Details

    • isDefault

      boolean isDefault()
      Returns the value of the 'Default' attribute. The default value is "false".
      Returns:
      the value of the 'Default' attribute.
      See Also:

    • setDefault

      void setDefault(boolean value)
      Sets the value of the 'Default' attribute.
      Parameters:
      value - the new value of the 'Default' attribute.
      See Also: