ef="rjmcmc__random_8h.html#a0b36a423f216c171bdf51e93e014d816">rjmcmc_random.h</a>
, <a class="el" href="rjmcmc__random_8c.html#ab99a758b14f2202bfd823164b4f67640">rjmcmc_random.c</a>
</li>
<li>rjmcmc_random_choose_int()
: <a class="el" href="rjmcmc__random_8h.html#a089078efdf0d848ff730b3da5c353170">rjmcmc_random.h</a>
, <a class="el" href="rjmcmc__random_8c.html#a82b6b15bdb127fea0987cec9c75cf3fe">rjmcmc_random.c</a>
</li>
<li>rjmcmc_random_choose_interval()
: <a class="el" href="rjmcmc__random_8h.html#a45174