Interface PredicateDefinition

All Superinterfaces:
org.eclipse.emf.ecore.EObject, NamedElement, org.eclipse.emf.common.notify.Notifier, ParametricDefinition, Relation, Statement
All Known Implementing Classes:
PredicateDefinitionImpl

public interface PredicateDefinition extends ParametricDefinition, Relation
A representation of the model object 'Predicate Definition'.

The following features are supported:

See Also:
  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<Conjunction>
    Returns the value of the 'Bodies' containment reference list.
    Returns the value of the 'Computed Value' containment reference.
    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
    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