Interface TheoryAction

All Superinterfaces:
Action, org.eclipse.emf.ecore.EObject, ExistentialQuantifier, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
TheoryActionImpl
public interface TheoryAction extends Action, ExistentialQuantifier
A representation of the model object 'Theory Action'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    Expr
    getTerm()
    Returns the value of the 'Term' containment reference.
    org.eclipse.emf.common.util.EList<TheoryDeclaration>
    getTheories()
    Returns the value of the 'Theories' reference list.
    boolean
    isTheoryOverride()
    Returns the value of the 'Theory Override' attribute.
    void
    setTerm(Expr value)
    Sets the value of the 'Term' containment reference.
    void
    setTheoryOverride(boolean value)
    Sets the value of the 'Theory Override' 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 ExistentialQuantifier

    getImplicitVariables

    Methods inherited from interface org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver