SpecSim Programmer Manual | ![]() ![]() |
an opaque data type
DeEvent represents events. They serves as the synchronization points between thread executions. A thread can wait on an event, whose execution will be blocked until the event is notified.
generated by doc++