Method initSearchState

src/DFSRndNumGenerator.cpp:113–119

* */

 *
 */
void
DFSRndNumGenerator::SearchState::initSearchState(bool init, int value, int bound)
{
	init_ = init;
	value_ = value;
	bound_ = bound;
}

#define DEBUG
#ifdef DEBUG