![]() |
YAP 7.1.0
|
predicate_statistics( P, NCls, Sz, IndexSz) More...
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)