#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.