Package tools.refinery.language.model.problem

Interface FunctionDefinition

All Superinterfaces:

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

All Known Implementing Classes:

FunctionDefinitionImpl

public interface FunctionDefinition
extends ParametricDefinition, Relation

A representation of the model object 'Function Definition'.

The following features are supported:

• Cases
• Function Type
• Shadow
• Computed Value
• Domain Predicate

See Also:

• ProblemPackage.getFunctionDefinition()

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.common.util.EList<Case>	getCases()	Returns the value of the 'Cases' containment reference list.
FunctionDefinition	getComputedValue()	Returns the value of the 'Computed Value' containment reference.
PredicateDefinition	getDomainPredicate()	Returns the value of the 'Domain Predicate' containment reference.
Relation	getFunctionType()	Returns the value of the 'Function Type' reference.
boolean	isShadow()	Returns the value of the 'Shadow' attribute.
void	setComputedValue(FunctionDefinition value)	Sets the value of the 'Computed Value' containment reference.
void	setDomainPredicate(PredicateDefinition value)	Sets the value of the 'Domain Predicate' containment reference.
void	setFunctionType(Relation value)	Sets the value of the 'Function Type' reference.
void	setShadow(boolean value)	Sets the value of the 'Shadow' 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

getCases

org.eclipse.emf.common.util.EList<Case> getCases()

Returns the value of the 'Cases' containment reference list. The list contents are of type Case.

Returns:

the value of the 'Cases' containment reference list.

See Also:

• ProblemPackage.getFunctionDefinition_Cases()

getFunctionType

Relation getFunctionType()

Returns the value of the 'Function Type' reference.

Returns:

the value of the 'Function Type' reference.

See Also:

• setFunctionType(Relation)
• ProblemPackage.getFunctionDefinition_FunctionType()

setFunctionType

void setFunctionType(Relation value)

Sets the value of the 'Function Type' reference.

Parameters:

value - the new value of the 'Function Type' reference.

See Also:

• getFunctionType()

isShadow

boolean isShadow()

Returns the value of the 'Shadow' attribute.

Returns:

the value of the 'Shadow' attribute.

See Also:

• setShadow(boolean)
• ProblemPackage.getFunctionDefinition_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

FunctionDefinition getComputedValue()

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

Returns:

the value of the 'Computed Value' containment reference.

See Also:

• setComputedValue(FunctionDefinition)
• ProblemPackage.getFunctionDefinition_ComputedValue()

setComputedValue

void setComputedValue(FunctionDefinition value)

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

Parameters:

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

See Also:

• getComputedValue()

getDomainPredicate

PredicateDefinition getDomainPredicate()

Returns the value of the 'Domain Predicate' containment reference.

Returns:

the value of the 'Domain Predicate' containment reference.

See Also:

• setDomainPredicate(PredicateDefinition)
• ProblemPackage.getFunctionDefinition_DomainPredicate()

setDomainPredicate

void setDomainPredicate(PredicateDefinition value)

Sets the value of the 'Domain Predicate' containment reference.

Parameters:

value - the new value of the 'Domain Predicate' containment reference.

See Also:

• getDomainPredicate()