method
terminate

void terminate( )

(Not documented.)