Subject: [boost] meaning of "unify"? (was Re: [Root Pointer] Seeking a Review Manager
From: Larry Evans (cppljevans_at_[hidden])
Date: 2016-04-03 09:45:50
On 04/01/2016 12:25 AM, Phil Bouchard wrote:
> - "Root Pointer" is an alternative to the long unsolved problem of
> garbage collectors which lasted for more than 70 years!
> - Thanks to Paul A. Bristow for his help on the generation of the
> documentation which is now available at the following link:
> (I apologize for the misplaced images in the rationale)
I've trying to understand the role of node_proxy. I went to:
void unify(node_proxy const & p) const;
Unification with a new node_proxy .
New node_proxy to unify with.
However, neither "unify" or "Unification" were links to their
definitions. The index here:
had no entries starting with "unif". I think there should at
least be a definition of this term somewhere with an entry
in the index linking to this definition so that people like
me won't have to guess what it means.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk