Module dev.civl.mc

Package dev.civl.mc.model.IF.expression

Interface DifferentiableExpression

All Superinterfaces:

Expression, Sourceable

public interface DifferentiableExpression
extends Expression

This expression encodes the claim that a real, abstract function is differentiable. The number of continuous derivatives is specified and the domain is specified as the Cartesian product of closed intervals.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.Expression

Expression.ExpressionKind

Method Summary

Modifier and Type	Method	Description
int	degree()	The number of derivatives that exist and are continuous.
AbstractFunction	function()	The function that is claimed to be differentiable.
Expression[]	lowerBounds()	Gets the lower bounds of the intervals.
Expression[]	upperBounds()	Gets the upper bounds of the intervals.

Methods inherited from interface dev.civl.mc.model.IF.expression.Expression

calculateConstantValue, calculateDerefs, constantValue, containsHere, expressionKind, expressionScope, freeVariables, getExpressionType, hasConstantValue, hasDerefs, isErrorFree, isPurelyLocal, lowestScope, purelyLocalAnalysis, purelyLocalAnalysisOfVariables, replaceWith, replaceWith, setErrorFree, variableAddressedOf, variableAddressedOf

Methods inherited from interface dev.civl.mc.model.IF.Sourceable

getSource, setCIVLSource

Method Details

function

AbstractFunction function()

The function that is claimed to be differentiable.

degree

int degree()

The number of derivatives that exist and are continuous. (Also known as, "continuity".)

Returns:

the degree of the differentiability

lowerBounds

Expression[] lowerBounds()

Gets the lower bounds of the intervals. If the function maps from R^n to R, then this array has length n. If the domain of the function is [a1,b1]x...x[an,bn], then this returns the array {a1, ..., an}.

Returns:

the lower bounds of the domain intervals

upperBounds

Expression[] upperBounds()

Gets the upper bounds of the intervals. If the function maps from R^n to R, then this array has length n. If the domain of the function is [a1,b1]x...x[an,bn], then this returns the array {b1, ..., bn}.

Returns:

the upper bounds of the domain intervals