void HomeExecutor:: manages (Type& e) { manages_pre (e); manages (e, edge_traverser ()); manages_post (e); }
void Home:: manages (Type& h) { manages_pre (h); manages (h, edge_traverser ()); manages_post (h); }
// HomeExecutor // // void HomeExecutor:: traverse (Type& e) { pre (e); name (e); implements (e); manages (e); post (e); }
// Home // // void Home:: traverse (Type& h) { pre (h); name (h); inherits (h); supports (h); manages (h); names (h); post (h); }