CIGAL Reference Manual, Chapter 6 (RealTime): r_quit
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