Uses of Interface
dev.civl.mc.model.IF.AbstractFunction

Packages that use AbstractFunction

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.

Uses of AbstractFunction in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return AbstractFunction

Modifier and Type	Method	Description
AbstractFunction	ModelFactory.abstractFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, int continuity, String attribute)	Generate an abstract function.

Methods in dev.civl.mc.model.IF with parameters of type AbstractFunction

Modifier and Type	Method	Description
AbstractFunctionCallExpression	ModelFactory.abstractFunctionCallExpression(CIVLSource source, AbstractFunction function, List<Expression> arguments)	An expression for a call to an abstract function.
DerivativeCallExpression	ModelFactory.derivativeCallExpression(CIVLSource source, AbstractFunction function, List<Pair<Variable,IntegerLiteralExpression>> partials, List<Expression> arguments)	An expression for a call to the derivative of an abstract function.
DifferentiableExpression	ModelFactory.differentiableExpression(CIVLSource source, AbstractFunction function, int degree, Expression[] lowerBounds, Expression[] upperBounds)	An expression representing the claim that some function is differentiable.

Uses of AbstractFunction in dev.civl.mc.model.IF.expression

Methods in dev.civl.mc.model.IF.expression that return AbstractFunction

Modifier and Type	Method	Description
AbstractFunction	AbstractFunctionCallExpression.function()
AbstractFunction	DifferentiableExpression.function()	The function that is claimed to be differentiable.