Package tools.refinery.language.model.problem

Interface PredicateDefinition

All Superinterfaces:

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
• Error
• Shadow
• Computed Value

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.
boolean	isError()	Returns the value of the 'Error' attribute.
boolean	isShadow()	Returns the value of the 'Shadow' attribute.
void	setComputedValue(PredicateDefinition value)	Sets the value of the 'Computed Value' containment reference.
void	setError(boolean value)	Sets the value of the 'Error' attribute.
void	setShadow(boolean value)	Sets the value of the 'Shadow' attribute.

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()

isError

boolean isError()

Returns the value of the 'Error' attribute.

Returns:

the value of the 'Error' attribute.

See Also:

• setError(boolean)
• ProblemPackage.getPredicateDefinition_Error()

setError

void setError(boolean value)

Sets the value of the 'Error' attribute.

Parameters:

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

See Also:

• isError()

isShadow

boolean isShadow()

Returns the value of the 'Shadow' attribute.

Returns:

the value of the 'Shadow' attribute.

See Also:

• setShadow(boolean)
• ProblemPackage.getPredicateDefinition_Shadow()

setShadow

void setShadow(boolean value)

Sets the value of the 'Shadow' attribute.

Parameters:

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

See Also:

• isShadow()

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()