Searched defs:ordered_print (Results 1 – 1 of 1) sorted by relevance
516 void list::ordered_print(const term_ordering& w) const in ordered_print() function in list612 void list::ordered_print(FILE* output, const term_ordering& w) const in ordered_print() function in list709 void list::ordered_print(ofstream& output, const term_ordering& w) const in ordered_print() function in list