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

Packages that use RecDomainLiteralExpression

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

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

Modifier and Type	Method	Description
RecDomainLiteralExpression	ModelFactory.recDomainLiteralExpression(CIVLSource source, List<Expression> ranges, CIVLType type)	Create a rectangular domain expression, which has the form {r1, r2, ..., rm}, where m is the dimension of the domain, and ri (where 1 invalid input: '<'= i invalid input: '<'= m) is a range expression (either regular range or literal range).