MONITOR : MEXPR

MONITOR is a top-level command.
Turns the monitor on, and prints out the current monitor
function and parameters. See NOMONITOR. See also QUERY-USER for an
alternative way to monitor the progress of the matingsearch.
For a list of monitor functions, type MONITORLIST. To change the current
monitor function, enter the name of the desired new monitor function from
the main top level or the mate top level.
The command format for MONITOR is:

 <n>MONITOR 

TPS documentation homepage


MONITOR : TPS-FILE

MONITOR is a file.
Defines the monitor functions.
/home/theorem/tps/lisp/monitor.lisp is part of module MATING.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage