Uses of Interface
dev.civl.mc.model.IF.expression.IntegerLiteralExpression
Packages that use IntegerLiteralExpression
Package
Description
Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
Submodule model.expression defines expression in CIVL.
-
Uses of IntegerLiteralExpression in dev.civl.mc.model.IF
Methods in dev.civl.mc.model.IF that return IntegerLiteralExpressionModifier and TypeMethodDescriptionModelFactory.integerLiteralExpression(CIVLSource source, BigInteger value) An integer literal expression.Method parameters in dev.civl.mc.model.IF with type arguments of type IntegerLiteralExpressionModifier and TypeMethodDescriptionModelFactory.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. -
Uses of IntegerLiteralExpression in dev.civl.mc.model.IF.expression
Methods in dev.civl.mc.model.IF.expression that return types with arguments of type IntegerLiteralExpression