Package tools.refinery.language.model.problem

Interface AssertionAction

All Superinterfaces:
AbstractAssertion, Action, org.eclipse.emf.ecore.EObject, ExistentialQuantifier, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
AssertionActionImpl
public interface AssertionAction extends Action, AbstractAssertion
A representation of the model object 'Assertion Action'.
See Also:

  • Method Summary

    Methods inherited from interface tools.refinery.language.model.problem.AbstractAssertion

    getArguments, getRelation, getValue, setRelation, setValue

    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.ExistentialQuantifier

    getImplicitVariables

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

    eAdapters, eDeliver, eNotify, eSetDeliver