Module rate_common::output

Unified routines to print data.

Structs

Timer

A RAII object that prints a timing message when it is destroyed.

Functions

install_signal_handler	We handle SIGPIPE ourselves to avoid printing errors.
is_a_tty	Check whether we are writing to a terminal.
print_key_value	Write a key-value pair to stdout.
print_solution	Write a solution line ("s ...") to stdout.
unreachable	Our version of std::unreachable(), unsafe if invariants are disabled.