Operation void
LogSwitch (), in Class
RACE_Accumulator
Documentation
reset the internal state for the switching the logfile
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics
Messages
LogSwitch( )