Phase            1305 src/Generator.cpp void GeneratorBase::check_min_phase(Phase expected_phase) const {
Phase            1309 src/Generator.cpp void GeneratorBase::check_exact_phase(Phase expected_phase) const {
Phase            1313 src/Generator.cpp void GeneratorBase::advance_phase(Phase new_phase) {
Phase            2378 src/Generator.h     void check_exact_phase(Phase expected_phase) const;
Phase            2379 src/Generator.h     void check_min_phase(Phase expected_phase) const;
Phase            2380 src/Generator.h     void advance_phase(Phase new_phase);