COMPLETE-P : MATEOP

COMPLETE-P is a mating-search command.
Test whether current mating is complete. Will return a path that
is not spanned by the mating otherwise.
 
The command format for COMPLETE-P is:

<Mate>COMPLETE-P

TPS documentation homepage


COMPLETE-P : MTREEOP

COMPLETE-P is a matingstree command.
Check the completeness of the current mating. The usage of the command is
exactly the same as the usage of the mate command COMPLETE-P.
 
The command format for COMPLETE-P is:

<Mtree>COMPLETE-P

TPS documentation homepage


COMPLETE-P : WFFOP

COMPLETE-P is a wff operation.
Test whether current mating is complete. Will return a path that
is not spanned by the mating otherwise.
 
The calling scheme for COMPLETE-P is:

(COMPLETE-P)


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage