Searched refs:dec_indent (Results 1 – 5 of 5) sorted by relevance
193 dec_indent (); in exit_scope()
56 void dec_indent () { m_indent_level--; } in dec_indent() function
430 logger->dec_indent (); in explore_feasible_paths()435 logger->dec_indent (); in explore_feasible_paths()
1332 logger->dec_indent (); in log_set_of_svalues()
4503 (logger::exit_scope): Use dec_indent.4505 (logger::dec_indent): New.