Uses of Interface
dev.civl.mc.model.IF.statement.CivlParForSpawnStatement

Packages that use CivlParForSpawnStatement

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

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

Modifier and Type	Method	Description
CivlParForSpawnStatement	ModelFactory.civlParForEnterStatement(CIVLSource source, Location location, Expression domain, VariableExpression domSize, VariableExpression procsVar, CIVLFunction parProcFunc)	creates a $parfor enter statement to start the execution of the $parfor.