PATHNUM : ORDERCOMPONENTS

PATHNUM is an argument for order-components.
PATHNUM is the same as T. If the flag ORDER-COMPONENTS is set to PATHNUM
then the components of a jform node will be rearranged in order of the number
of paths which lie below them (go through them). In ms90-*, this will sort the
top-level conjuncts into decreasing order (based on the number of paths through
them).

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage