Method index

src/DFSRndNumGenerator.cpp:69–69

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

	int index() { return index_; }

private:
	// Whether this state has been initialized