Enum Class MPIContractAbsentEventNode.MPIAbsentEventKind

java.lang.Object
java.lang.Enum<MPIContractAbsentEventNode.MPIAbsentEventKind>
edu.udel.cis.vsl.abc.ast.node.IF.acsl.MPIContractAbsentEventNode.MPIAbsentEventKind
All Implemented Interfaces:
Serializable, Comparable<MPIContractAbsentEventNode.MPIAbsentEventKind>, Constable
Enclosing interface:
MPIContractAbsentEventNode

public static enum MPIContractAbsentEventNode.MPIAbsentEventKind extends Enum<MPIContractAbsentEventNode.MPIAbsentEventKind>

The kinds of the events. SENDTO is the kind for \sendto(dests, tags) SENDFROM is the kind for \sendfrom(srcs, tags) ENTER is the kind for \enter(proc) EXIT is the kind for \exit(proc)