From: Neal D. Becker (nbecker_at_[hidden])
Date: 2003-05-21 06:43:02
Sorry for the stupid question, but I can't seem to find where the
implementation of nondet_random is. I found the header nondet_random.hpp,
but this only gives the declaration.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk