#include <cogent.h>
int IP_IsPulse(int pulse, int rcvid, void* msg );
A pulse ID as generated by IP_PulseNew.
The rcvid field from an IP_MsgInfo structure.
The pointer to a message received through IP_Receive.
0 if the pulse does not correspond to the rcvid and msg, or non-zero if the rcvid and msg do represent the pulse.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.