Interface PredicateDefinition
- All Superinterfaces:
org.eclipse.emf.ecore.EObject
,NamedElement
,org.eclipse.emf.common.notify.Notifier
,ParametricDefinition
,Relation
,Statement
- All Known Implementing Classes:
PredicateDefinitionImpl
A representation of the model object 'Predicate Definition'.
The following features are supported:
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionorg.eclipse.emf.common.util.EList
<Conjunction> Returns the value of the 'Bodies' containment reference list.Returns the value of the 'Computed Value' containment reference.getKind()
Returns the value of the 'Kind' attribute.org.eclipse.emf.common.util.EList
<Relation> Returns the value of the 'Super Sets' reference list.void
Sets the value of the 'Computed Value
' containment reference.void
setKind
(PredicateKind value) Sets the value of the 'Kind
' attribute.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.NamedElement
getName, setName
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
Methods inherited from interface tools.refinery.language.model.problem.ParametricDefinition
getParameters
-
Method Details
-
getBodies
org.eclipse.emf.common.util.EList<Conjunction> getBodies()Returns the value of the 'Bodies' containment reference list. The list contents are of typeConjunction
.- Returns:
- the value of the 'Bodies' containment reference list.
- See Also:
-
getKind
PredicateKind getKind()Returns the value of the 'Kind' attribute. The literals are from the enumerationPredicateKind
.- Returns:
- the value of the 'Kind' attribute.
- See Also:
-
setKind
Sets the value of the 'Kind
' attribute.- Parameters:
value
- the new value of the 'Kind' attribute.- See Also:
-
getComputedValue
PredicateDefinition getComputedValue()Returns the value of the 'Computed Value' containment reference.- Returns:
- the value of the 'Computed Value' containment reference.
- See Also:
-
setComputedValue
Sets the value of the 'Computed Value
' containment reference.- Parameters:
value
- the new value of the 'Computed Value' containment reference.- See Also:
-
getSuperSets
org.eclipse.emf.common.util.EList<Relation> getSuperSets()Returns the value of the 'Super Sets' reference list. The list contents are of typeRelation
.- Returns:
- the value of the 'Super Sets' reference list.
- See Also:
-