org.eclipse.emf.henshin.model
Interface BinaryFormula

All Superinterfaces:

EObject, Formula, ModelElement, Notifier

All Known Subinterfaces:

And, Or, Xor

All Known Implementing Classes:

AndImpl, BinaryFormulaImpl, OrImpl, XorImpl

public interface BinaryFormula
extends ModelElement, Formula

A representation of the model object 'Binary Formula'.

The following features are supported:

• Left
• Right

See Also:

HenshinPackage.getBinaryFormula()

Method Summary

Formula	getLeft() Returns the value of the 'Left' containment reference.
Formula	getRight() Returns the value of the 'Right' containment reference.
void	setLeft(Formula value) Sets the value of the 'Left' containment reference.
void	setRight(Formula value) Sets the value of the 'Right' containment reference.

Methods inherited from interface org.eclipse.emf.henshin.model.ModelElement

getAnnotations

Methods inherited from interface org.eclipse.emf.henshin.model.Formula

isFalse, isTrue

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

Method Detail

getLeft

Formula getLeft()

Returns the value of the 'Left' containment reference.

Returns:

the value of the 'Left' containment reference.

See Also:

setLeft(Formula), HenshinPackage.getBinaryFormula_Left()

setLeft

void setLeft(Formula value)

Sets the value of the 'Left' containment reference.

Parameters:

value - the new value of the 'Left' containment reference.

See Also:

getLeft()

getRight

Formula getRight()

Returns the value of the 'Right' containment reference.

Returns:

the value of the 'Right' containment reference.

See Also:

setRight(Formula), HenshinPackage.getBinaryFormula_Right()

setRight

void setRight(Formula value)

Sets the value of the 'Right' containment reference.

Parameters:

value - the new value of the 'Right' containment reference.

See Also:

getRight()