Searched refs:max_node_id_width (Results 1 – 2 of 2) sorted by relevance
30 int max_width = graph_labeller->max_node_id_width() + 2 + padding_adjustement; in PrintPaddedId()46 graph_labeller->max_node_id_width() + 2 + padding_adjustement); in PrintPadding()413 ->set_padding(graph_labeller->max_node_id_width() + 4); in Process()426 ->set_padding(graph_labeller->max_node_id_width() + 4); in Process()517 ->set_padding(graph_labeller->max_node_id_width() + 4); in Process()
36 int max_node_id_width() const { return std::ceil(std::log10(max_node_id())); } in max_node_id_width() function