StructuralEquivalenceNotProvable

All Superinterfaces:

BinaryExpression, EObject, Expression, Notifier

All Known Implementing Classes:

StructuralEquivalenceNotProvableImpl
```
public interface StructuralEquivalenceNotProvable
extends BinaryExpression
```
A representation of the model object 'Structural Equivalence Not Provable'.

See Also:

ExpressionsPackage.getStructuralEquivalenceNotProvable()

Generated class or method.

EMF model class or method.

- Method Summary
  - Methods inherited from interface org.palladiosimulator.supporting.prolog.model.prolog.expressions.BinaryExpression
    getLeft, getRight, setLeft, setRight
  - 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