void Home:: manages (Type& h) { manages_pre (h); manages (h, edge_traverser ()); manages_post (h); }
void HomeExecutor:: manages (Type& e) { manages_pre (e); manages (e, edge_traverser ()); manages_post (e); }