maxHeight

mpz_t maxHeight

static

Definition at line 17 of file random.cpp.

Referenced by rawRandomInitialize(), rawSetRandomInteger(), rawSetRandomMax(), and rawSetRandomQQ().