START-TIME : EVENT

START-TIME is an event.
Event which is signalled whenever a mating should have its run
time started, such as when it becomes the active mating.

WRITE-WHEN NEVER

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage