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

Packages that use SizeofExpression

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

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

Modifier and Type	Method	Description
SizeofExpression	ModelFactory.sizeofExpressionExpression(CIVLSource source, Expression argument)	Returns a new expression of the form "sizeof(e)" where is an expression.