MATING : MODULE

MATING is a module.

It is loaded.
Defines mating search top level and basic mating operations.

NEEDED-MODULES AUTO-BASIC

MACRO-FILES ETREES-FLAGS ETREES-EXP-VARS ETREES-SKOLEM ETREES-LABELS MATING-TOP DATA-STRUCTURES MATING-MACROS MONITOR-MACROS TEST-MACROS

FILES MATING-MOVE MATING-MATEOPS TIMING MONITOR TEST-TOP-TOP TEST-TOP-SLISTS TEST-TOP-SEARCH

TPS documentation homepage


MATING : TPS-FILE

MATING is a file.
Functions to modify matings.
/home/theorem/tps/lisp/mating.lisp is part of module MS88.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage