Interface Axiom
-
- All Superinterfaces:
org.eclipse.emf.ecore.EObject,Named,org.eclipse.emf.common.notify.Notifier,Overrider,ReferToJudgment,Rule,UniqueByName
- All Known Implementing Classes:
AxiomImpl
public interface Axiom extends Rule
A representation of the model object 'Axiom'.- See Also:
XsemanticsPackage.getAxiom()
-
-
Method Summary
-
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
-
Methods inherited from interface org.eclipse.xsemantics.dsl.xsemantics.Overrider
isOverride, setOverride
-
Methods inherited from interface org.eclipse.xsemantics.dsl.xsemantics.ReferToJudgment
get_judgment, isSet_judgment, set_judgment, unset_judgment
-
Methods inherited from interface org.eclipse.xsemantics.dsl.xsemantics.Rule
get_inputParams, get_outputParams, getConclusion, getJudgmentSymbol, getName, getRelationSymbols, isSet_inputParams, isSet_outputParams, setConclusion, setName, unset_inputParams, unset_outputParams
-
-