LogicTerm

All Superinterfaces:

EObject, Notifier

All Known Subinterfaces:

And, DefaultStateRef, False, MinStatic, Not, Or, ParameterRef, PropertyRef, ReturnValueRef, StateRef, True

All Known Implementing Classes:

AndImpl, DefaultStateRefImpl, FalseImpl, LogicTermImpl, MinStaticImpl, NotImpl, OrImpl, ParameterRefImpl, PropertyRefImpl, ReturnValueRefImpl, StateRefImpl, TrueImpl
```
public interface LogicTerm
extends EObject
```
A representation of the model object 'Logic Term'.
The following features are supported:
- Containing Assignment
See Also:

PrologmodelPackage.getLogicTerm()

Generated class or method.

EMF model class or method.

abstract="true"

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  VariableAssignment getContainingAssignment()
  Returns the value of the 'Containing Assignment' reference.
  - 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
  - getContainingAssignment
```
VariableAssignment getContainingAssignment()
```
    Returns the value of the 'Containing Assignment' reference.
    
    Returns:
    
    the value of the 'Containing Assignment' reference.
    
    See Also:
    
    PrologmodelPackage.getLogicTerm_ContainingAssignment()
    
    Generated class or method.
    
    EMF model class or method.
    
    transient="true" changeable="false" volatile="true" derived="true" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot derivation='let cont = self->selectByKind(ocl::OclElement)->closure(elem | elem.oclContainer())->any(e | e.oclIsKindOf(VariableAssignment)) in\n\t\t\t\tif(cont.oclIsInvalid()) then \n\t\t\t\t\tnull\n\t\t\t\telse \n\t\t\t\t\tcont.oclAsType(VariableAssignment)\n\t\t\t\tendif'"