UI-HERBRAND-LIMIT is a flag or parameter.
Maximum number of times to apply ui-herbrand-tac to the
same universally-quantified formula.
UI-HERBRAND-LIMIT takes values of type POSINTEGER.
It belongs to subjects TACTICS .
Its default value is 3
Its current value is 3.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage