static void print_dit(const plan *ego_, printer *p) { const P_dit *ego_dit = (const P_dit *) ego_; print_aux("dft-rader-dit", (const P *) ego_, p); p->print(p, "%(%p%))", ego_dit->cld); }
static void print(const plan *ego_, printer *p) { print_aux("dft-rader", (const P *) ego_, p); p->putchr(p, ')'); }
void BasicTrie::print( std::ostream& out ) { print_aux( out , std::string() ); }