Operation void
prev (
RACE_Message_Block
** p), in Class
RACE_Message_Block
Documentation
Set link to prev message.
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics