Package tools.refinery.language.model.problem

Interface PredicateDefinition

All Superinterfaces:

AnnotatedElement, org.eclipse.emf.ecore.EObject, NamedElement, org.eclipse.emf.common.notify.Notifier, ParametricDefinition, Relation, Statement

All Known Implementing Classes:

PredicateDefinitionImpl

public interface PredicateDefinition
extends ParametricDefinition, Relation

A representation of the model object 'Predicate Definition'.

The following features are supported:

• Bodies
• Kind
• Computed Value
• Super Sets

See Also:

• ProblemPackage.getPredicateDefinition()

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.common.util.EList<Conjunction>	getBodies()	Returns the value of the 'Bodies' containment reference list.
PredicateDefinition	getComputedValue()	Returns the value of the 'Computed Value' containment reference.
PredicateKind	getKind()	Returns the value of the 'Kind' attribute.
org.eclipse.emf.common.util.EList<Relation>	getSuperSets()	Returns the value of the 'Super Sets' reference list.
void	setComputedValue(PredicateDefinition value)	Sets the value of the 'Computed Value' containment reference.
void	setKind(PredicateKind value)	Sets the value of the 'Kind' attribute.

Methods inherited from interface tools.refinery.language.model.problem.AnnotatedElement

getAnnotations, setAnnotations

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.NamedElement

getName, setName

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface tools.refinery.language.model.problem.ParametricDefinition

getParameters

Method Details

getBodies

org.eclipse.emf.common.util.EList<Conjunction> getBodies()

Returns the value of the 'Bodies' containment reference list. The list contents are of type Conjunction.

Returns:

the value of the 'Bodies' containment reference list.

See Also:

• ProblemPackage.getPredicateDefinition_Bodies()

getKind

PredicateKind getKind()

Returns the value of the 'Kind' attribute. The literals are from the enumeration PredicateKind.

Returns:

the value of the 'Kind' attribute.

See Also:

• PredicateKind
• setKind(PredicateKind)
• ProblemPackage.getPredicateDefinition_Kind()

setKind

void setKind(PredicateKind value)

Sets the value of the 'Kind' attribute.

Parameters:

value - the new value of the 'Kind' attribute.

See Also:

• PredicateKind
• getKind()

getComputedValue

PredicateDefinition getComputedValue()

Returns the value of the 'Computed Value' containment reference.

Returns:

the value of the 'Computed Value' containment reference.

See Also:

• setComputedValue(PredicateDefinition)
• ProblemPackage.getPredicateDefinition_ComputedValue()

setComputedValue

void setComputedValue(PredicateDefinition value)

Sets the value of the 'Computed Value' containment reference.

Parameters:

value - the new value of the 'Computed Value' containment reference.

See Also:

• getComputedValue()

getSuperSets

org.eclipse.emf.common.util.EList<Relation> getSuperSets()

Returns the value of the 'Super Sets' reference list. The list contents are of type Relation.

Returns:

the value of the 'Super Sets' reference list.

See Also:

• ProblemPackage.getPredicateDefinition_SuperSets()