OBDEFAULT : ARGTYPE

OBDEFAULT is an argument type.
Should be one of DEEPEST, HIGHEST, D-SMALLEST or H-SMALLEST.
Used by the flag DEFAULT-OB.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage