RULEP-MAINFN : FLAG

RULEP-MAINFN is a flag or parameter.
The main function used for RULEP. Defaults to RULEP-DELUXE, in
which case RULEP will find a minimal subset of the support lines
which suffices to justify the planned line. If set to RULEP-SIMPLE,
RULEP will merely check that the planned line follows from the
support lines that are specified by the user.
RULEP-MAINFN takes values of type RULEP-MAINFN-TYPE.
It belongs to subjects ML::RULES-MOD .
Its default value is RULEP-DELUXE
Its current value is RULEP-DELUXE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage