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

Detailed Description

predicate_erased_statistics( P, NCls, Sz, IndexSz)

Given predicate P, NCls is the number of erased clauses for P that could not be discarded yet, 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:

/home/vsc/github/yap/pl/preds.yap