STATS : CONTEXT

STATS is a context.
The statistics of commands, error, etc.

TPS documentation homepage


STATS : MATEOP

STATS is a mating-search command.
Display statistics for the active mating and totals for all
matings in this expansion proof.
 
The command format for STATS is:

<Mate>STATS

TPS documentation homepage


STATS : UNIFOP

STATS is an unification command.
Statistics about the current unification tree.
STATS is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage