Uses of Interface
dev.civl.mc.model.IF.expression.DifferentiableExpression

Packages that use DifferentiableExpression

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.

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

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

Modifier and Type	Method	Description
DifferentiableExpression	ModelFactory.differentiableExpression(CIVLSource source, AbstractFunction function, int degree, Expression[] lowerBounds, Expression[] upperBounds)	An expression representing the claim that some function is differentiable.