usage: r_quit

R_QUIT causes the current REALTIME to terminate. This releases all temporary memory allocated by the REALTIME command.

See Also:
CIGAL Home, CIGAL Manual, RealTime List, Manual Help