Interface Case

All Superinterfaces:

org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

CaseImpl

public interface Case
extends org.eclipse.emf.ecore.EObject

A representation of the model object 'Case'.

The following features are supported:

• Condition
• Value

See Also:

• ProblemPackage.getCase()

Method Summary

Modifier and Type	Method	Description
Conjunction	getCondition()	Returns the value of the 'Condition' containment reference.
Expr	getValue()	Returns the value of the 'Value' containment reference.
void	setCondition(Conjunction value)	Sets the value of the 'Condition' containment reference.
void	setValue(Expr value)	Sets the value of the 'Value' containment 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 Details

getCondition

Conjunction getCondition()

Returns the value of the 'Condition' containment reference.

Returns:

the value of the 'Condition' containment reference.

See Also:

• setCondition(Conjunction)
• ProblemPackage.getCase_Condition()

setCondition

void setCondition(Conjunction value)

Sets the value of the 'Condition' containment reference.

Parameters:

value - the new value of the 'Condition' containment reference.

See Also:

• getCondition()

getValue

Expr getValue()

Returns the value of the 'Value' containment reference.

Returns:

the value of the 'Value' containment reference.

See Also:

• setValue(Expr)
• ProblemPackage.getCase_Value()

setValue

void setValue(Expr value)

Sets the value of the 'Value' containment reference.

Parameters:

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

See Also:

• getValue()