YAP 7.1.0
predicate_statistics/4

predicate_statistics( P, NCls, Sz, IndexSz) More...

Detailed Description

predicate_statistics( P, NCls, Sz, IndexSz)

Given predicate P, NCls is the number of clauses for P, Sz is the amount of space taken to store those clauses (in bytes), and IndexSz is the amount of space required to store indices to those clauses (in bytes)


The documentation for this class was generated from the following file: