Interface MonotonicityInfo
- All Superinterfaces:
org.eclipse.emf.ecore.EObject
,org.eclipse.emf.common.notify.Notifier
- All Known Implementing Classes:
MonotonicityInfoImpl
public interface MonotonicityInfo
extends org.eclipse.emf.ecore.EObject
A representation of the model object 'Monotonicity Info'.
The following features are supported:
- See Also:
-
Field Summary
Fields -
Method Summary
Modifier and TypeMethodDescriptionReturns the value of the 'Core Mask' containment reference.Returns the value of the 'Poset Comparator' attribute.Returns the value of the 'Poset Mask' containment reference.void
setCoreMask
(Mask value) Sets the value of the 'Core Mask
' containment reference.void
setPosetComparator
(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
-
Field Details
-
copyright
- See Also:
-
-
Method Details
-
getCoreMask
Mask getCoreMask()Returns the value of the 'Core Mask' containment reference.- Returns:
- the value of the 'Core Mask' containment reference.
- See Also:
-
setCoreMask
Sets the value of the 'Core Mask
' containment reference.- Parameters:
value
- the new value of the 'Core Mask' containment reference.- See Also:
-
getPosetMask
Mask getPosetMask()Returns the value of the 'Poset Mask' containment reference.- Returns:
- the value of the 'Poset Mask' containment reference.
- See Also:
-
setPosetMask
Sets the value of the 'Poset Mask
' containment reference.- Parameters:
value
- the new value of the 'Poset Mask' containment reference.- See Also:
-
getPosetComparator
Object getPosetComparator()Returns the value of the 'Poset Comparator' attribute.- Returns:
- the value of the 'Poset Comparator' attribute.
- See Also:
-
setPosetComparator
Sets the value of the 'Poset Comparator
' attribute.- Parameters:
value
- the new value of the 'Poset Comparator' attribute.- See Also:
-