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

Packages that use LambdaExpression

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

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

Modifier and Type	Method	Description
LambdaExpression	ModelFactory.lambdaExpression(CIVLSource source, CIVLFunctionType functionType, Variable variable, Expression expression)	Creates a new lambda expression.