Uses of Enum Class
dev.civl.mc.model.IF.expression.MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND

Packages that use MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND

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.expression	Submodule model.expression defines expression in CIVL.

Uses of MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF with parameters of type MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND

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

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

Modifier and Type	Method	Description
MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND	MPIContractExpression.mpiContractKind()	Returns MPI_CONTRACT_EXPRESSION_KIND which denotes the exact kind of a general MPI contract expression.
static MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND	MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND.valueOf(String name)	Returns the enum constant of this class with the specified name.
static MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND[]	MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND.values()	Returns an array containing the constants of this enum class, in the order they are declared.