Module dev.civl.mc

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

Interface DerivativeCallExpression

All Superinterfaces:

AbstractFunctionCallExpression, Expression, Sourceable

public interface DerivativeCallExpression
extends AbstractFunctionCallExpression

An uninterpreted call to the derivative of an abstract function.

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
List<Pair<Variable,IntegerLiteralExpression>>	partials()

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

arguments, function

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

partials

List<Pair<Variable,IntegerLiteralExpression>> partials()

Returns:

The list of pairs of partial derivatives taken. Each pair has the variable that is the parameter for which the partial derivative is taken, and number of times that partial derivative is taken.