NotProvable

All Superinterfaces:

EObject, Expression, Notifier, UnaryExpression

All Known Implementing Classes:

NotProvableImpl
```
public interface NotProvable
extends UnaryExpression
```
A representation of the model object 'Not Provable'.

See Also:

ExpressionsPackage.getNotProvable()

Generated class or method.

EMF model class or method.

- 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.palladiosimulator.supporting.prolog.model.prolog.expressions.UnaryExpression
    getExpr, setExpr