Method inc_value

src/DFSRndNumGenerator.cpp:64–64

	int value() { return value_; }
	void set_value(int value) { value_ = value; }
	void inc_value(void) { ++value_; }

	int bound() { return bound_; }
	void set_bound(int bound) { bound_ = bound; }