Public Member Functions | |
pretty_tree (const TreeRef &tree, size_t col=40) | |
const std::string & | get_flat (const TreeRef &t) |
void | print (std::ostream &out, const TreeRef &t, int indent) |
Data Fields | |
const TreeRef & | tree |
size_t | col |
std::unordered_map< TreeRef, std::string > | flat_strings |