Uses of Interface
dev.civl.abc.ast.node.IF.acsl.MPICollectiveBlockNode
Packages that use MPICollectiveBlockNode
Package
Description
Submodule ast.node defines every kind of
node in an AST.
-
Uses of MPICollectiveBlockNode in dev.civl.abc.ast.node.IF
Methods in dev.civl.abc.ast.node.IF that return MPICollectiveBlockNodeModifier and TypeMethodDescriptionNodeFactory.newMPICollectiveBlockNode(Source source, ExpressionNode mpiComm, MPICollectiveBlockNode.MPICommunicatorMode kind, SequenceNode<ContractNode> body) Creates a new MPI Collective block node -
Uses of MPICollectiveBlockNode in dev.civl.abc.ast.node.IF.acsl
Methods in dev.civl.abc.ast.node.IF.acsl that return MPICollectiveBlockNode