Definition at line 71 of file gb-sugarless.hpp.
Referenced by add_gens(), debug_pairs(), find_pairs(), set_up0(), start_computation(), and stats().