rand.c, algorithms.py: Change how kinds of RNGs are distinguished.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 11 May 2017 09:42:15 +0000 (10:42 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 14 May 2017 03:29:20 +0000 (04:29 +0100)
commit348254521f404f683d0230a84ae4943c9d20e51c
tree2c6f9c1b71d7e216a00f54b2618631d5b886469a
parent5a8b43b3b20b540f20877f14ecb9cb0dae8ddaf3
rand.c, algorithms.py: Change how kinds of RNGs are distinguished.

Rather than a set of flags, assign them numbers and use `switch'.  It
doesn't seem like the flags are helpfully marking out sets of RNGs, and
this approach scales better to handling more kinds.
algorithms.py
rand.c