Interface MPIContractAbsentNode

All Superinterfaces:
ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, MPIContractExpressionNode, SizeableNode

public interface MPIContractAbsentNode extends MPIContractExpressionNode

This MPIContractExpressionNode denotes an MPI absent expression, which states a path predicate for an MPI collective-style function.

An MPI absent expressions is parameterized by three events, each of which is an instance of MPIContractAbsentEventNode. The three events are called respectively the "absentEvent", "fromEvent" and "untilEvent". They encode the meaning that no "absentEvent" can happen since "fromEvent" until "untilEvent".