TPS2-RULEP : MODULE

TPS2-RULEP is a module.

It is loaded.
Defines edops to check satisfiability and validity.

NEEDED-MODULES JFORMS

MACRO-FILES RULEP-MAC

FILES RULEP-EDOPS NEWRULEP-TSTS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage