| 121 | #define DEBUG |
| 122 | #ifdef DEBUG |
| 123 | void DFSRndNumGenerator::SearchState::dump(const string &where) |
| 124 | { |
| 125 | cout << "[state]" << where << ", index = " << index_ << ", init = " << init_ << ", value = " << value_ << ", bound = " \ |
| 126 | << bound_ << std::endl; |
| 127 | } |
| 128 | #else |
| 129 | void DFSRndNumGenerator::SearchState::dump(const string &) |
| 130 | { |