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

Packages that use LogicFunction

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

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

Modifier and Type	Method	Description
LogicFunction	ModelFactory.logicFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType outputType, int[] pointerToHeapMap, Scope containingScope, Expression definition)	Create a new logic function (LogicFunction).

Methods in dev.civl.mc.model.IF that return types with arguments of type LogicFunction

Modifier and Type	Method	Description
List<LogicFunction>	Model.getAllLogicFunctions()

Method parameters in dev.civl.mc.model.IF with type arguments of type LogicFunction

Modifier and Type	Method	Description
void	Model.setLogicFunctions(List<LogicFunction> logicFunctions)	Adding all translated logic functions to the model