Uses of Interface
dev.civl.abc.ast.node.IF.acsl.MPIContractExpressionNode

Packages that use MPIContractExpressionNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl

Uses of MPIContractExpressionNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return MPIContractExpressionNode

Modifier and Type	Method	Description
MPIContractExpressionNode	NodeFactory.newMPIExpressionNode(Source source, List<ASTNode> arguments, MPIContractExpressionNode.MPIContractExpressionKind kind, String exprName)	Creates a new MPI expression node

Uses of MPIContractExpressionNode in dev.civl.abc.ast.node.IF.acsl

Subinterfaces of MPIContractExpressionNode in dev.civl.abc.ast.node.IF.acsl

Modifier and Type	Interface	Description
interface	MPIContractAbsentEventNode	This ContractNode represents an "mpi event", which represents a set of specific actions that a process performs during runtime.
interface	MPIContractAbsentNode	This MPIContractExpressionNode denotes an MPI absent expression, which states a path predicate for an MPI collective-style function.