NUM-VPATHS-RANKING : INFO

NUM-VPATHS-RANKING is a flag setting or other piece of information.
A flag setting for RANK-EPROOF-FN.
Returns the number of vpaths in an expansion proof.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage