Interface TheoryDeclaration

All Superinterfaces:
AnnotatedElement, org.eclipse.emf.ecore.EObject, NamedElement, org.eclipse.emf.common.notify.Notifier, Statement
All Known Implementing Classes:
TheoryDeclarationImpl
public interface TheoryDeclaration extends NamedElement, Statement, AnnotatedElement
A representation of the model object 'Theory Declaration'.
See Also:

  • Method Summary

    Methods inherited from interface AnnotatedElement

    getAnnotations, setAnnotations

    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 NamedElement

    getName, setName

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

    eAdapters, eDeliver, eNotify, eSetDeliver