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

Packages that use AbstractFunctionCallExpression

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 AbstractFunctionCallExpression in dev.civl.mc.model.IF

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

Modifier and Type	Method	Description
AbstractFunctionCallExpression	ModelFactory.abstractFunctionCallExpression(CIVLSource source, AbstractFunction function, List<Expression> arguments)	An expression for a call to an abstract function.

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

Subinterfaces of AbstractFunctionCallExpression in dev.civl.mc.model.IF.expression

Modifier and Type	Interface	Description
interface	DerivativeCallExpression	An uninterpreted call to the derivative of an abstract function.