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

Packages that use MPIContractExpression

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

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

Modifier and Type	Method	Description
MPIContractExpression	ModelFactory.mpiContractExpression(CIVLSource source, Scope scope, Expression communicator, Expression[] arguments, MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND kind, MPICollectiveBehavior.MPICommunicationPattern pattern)	Creates an MPIContractExpression which represents a special construct in MPI contracts system.