Interface MonotonicityInfo

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String copyright
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      Mask getCoreMask()
      Returns the value of the 'Core Mask' containment reference.
      java.lang.Object getPosetComparator()
      Returns the value of the 'Poset Comparator' attribute.
      Mask getPosetMask()
      Returns the value of the 'Poset Mask' containment reference.
      void setCoreMask​(Mask value)
      Sets the value of the 'Core Mask' containment reference.
      void setPosetComparator​(java.lang.Object value)
      Sets the value of the 'Poset Comparator' attribute.
      void setPosetMask​(Mask value)
      Sets the value of the 'Poset Mask' containment reference.
      • 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 org.eclipse.emf.common.notify.Notifier

        eAdapters, eDeliver, eNotify, eSetDeliver