Package tools.refinery.language.model.problem

Interface Atom

All Superinterfaces:
org.eclipse.emf.ecore.EObject, Expr, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
AtomImpl
public interface Atom extends Expr
A representation of the model object 'Atom'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<Expr>
    getArguments()
    Returns the value of the 'Arguments' containment reference list.
    Relation
    getRelation()
    Returns the value of the 'Relation' reference.
    boolean
    isTransitiveClosure()
    Returns the value of the 'Transitive Closure' attribute.
    void
    setRelation(Relation value)
    Sets the value of the 'Relation' reference.
    void
    setTransitiveClosure(boolean value)
    Sets the value of the 'Transitive Closure' 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 org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver