Package tools.refinery.language.model.problem

Interface Conjunction

All Superinterfaces:
org.eclipse.emf.ecore.EObject, ExistentialQuantifier, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
ConjunctionImpl
public interface Conjunction extends ExistentialQuantifier
A representation of the model object 'Conjunction'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<Expr>
    getLiterals()
    Returns the value of the 'Literals' containment reference list.

    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

  • Method Details

    • getLiterals

      org.eclipse.emf.common.util.EList<Expr> getLiterals()
      Returns the value of the 'Literals' containment reference list. The list contents are of type Expr.
      Returns:
      the value of the 'Literals' containment reference list.
      See Also: