Uses of Enum Class
dev.civl.mc.model.IF.contract.MPICollectiveBehavior.MPICommunicationPattern

Packages that use MPICollectiveBehavior.MPICommunicationPattern

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.
dev.civl.mc.model.IF.contract
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.

Uses of MPICollectiveBehavior.MPICommunicationPattern in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF with parameters of type MPICollectiveBehavior.MPICommunicationPattern

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.

Uses of MPICollectiveBehavior.MPICommunicationPattern in dev.civl.mc.model.IF.contract

Methods in dev.civl.mc.model.IF.contract that return MPICollectiveBehavior.MPICommunicationPattern

Modifier and Type	Method	Description
MPICollectiveBehavior.MPICommunicationPattern	MPICollectiveBehavior.mpiCommunicationPattern()
static MPICollectiveBehavior.MPICommunicationPattern	MPICollectiveBehavior.MPICommunicationPattern.valueOf(String name)	Returns the enum constant of this class with the specified name.
static MPICollectiveBehavior.MPICommunicationPattern[]	MPICollectiveBehavior.MPICommunicationPattern.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in dev.civl.mc.model.IF.contract with parameters of type MPICollectiveBehavior.MPICommunicationPattern

Modifier and Type	Method	Description
MPICollectiveBehavior	ContractFactory.newMPICollectiveBehavior(CIVLSource source, Expression communicator, MPICollectiveBehavior.MPICommunicationPattern pattern)	Creates a new instance of \mpi_collective(comm, pattern)

Uses of MPICollectiveBehavior.MPICommunicationPattern in dev.civl.mc.model.IF.expression

Methods in dev.civl.mc.model.IF.expression that return MPICollectiveBehavior.MPICommunicationPattern

Modifier and Type	Method	Description
MPICollectiveBehavior.MPICommunicationPattern	MPIContractExpression.getMpiCommunicationPattern()	Summary Returns the MPI communication pattern.