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

Packages that use DomainGuardExpression

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

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

Modifier and Type	Method	Description
DomainGuardExpression	ModelFactory.domainGuard(CIVLSource source, List<Variable> vars, Variable counter, Expression domain)	Returns a domain guard expression which is boolean expression whose arguments consists of loop variables in a CIVL $for loop and the original domain associate to the loop.