diff options
Diffstat (limited to 'docs/storage-mgt')
-rw-r--r-- | docs/storage-mgt/rp.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/storage-mgt/rp.tex b/docs/storage-mgt/rp.tex index 0d841b9d42..c6de489c59 100644 --- a/docs/storage-mgt/rp.tex +++ b/docs/storage-mgt/rp.tex @@ -510,8 +510,6 @@ set is created. Otherwise, a new retainer set is created. is created. Otherwise, a new retainer set is created. \item[@rtsBool isMember(retainer r, retainerSet *rs)@] returns a boolean value indicating whether @r@ is a member of @rs@. -\item[@void traverseAllRetainerSet(void (*f)(retainerSet *))@] invokes the function -@f@ on every retainer set created. \item[@void printRetainerSetShort(FILE *, retainerSet *)@] prints a single retainer set. \item[@void outputRetainerSet(FILE *, nat *allCost, nat *numSet)@] prints all |