*operation* void collect_terms(Fixed_term_Commalist *terms) *wrapper* Cd_graph *prefix* (@ adjacencies->collect_terms(terms); @) *wrapper* Adjacency_Nlist *prefix* (@ Adjacency_list_iterator next(*this); Adjacency* each; while (each = next()) each->collect_terms(terms); @) *wrapper* Adjacency *prefix* (@ static Fixed_term * ft = new Fixed_term(); static Normal* nt = new Normal(); static LocalRef* lr = new LocalRef(); ft->set_vertex(nt); nt->set_vertex(source); nt->set_moduleRef(lr); terms->append((Fixed_term*)ft->g_copy()); @)