STOP-TIME : EVENT

STOP-TIME is an event.
Event which is signalled whenever a mating should have its run
time stopped, such as when it is no longer the active mating.

WRITE-WHEN NEVER

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage