Van Gelder Random Number Generator. More...
Go to the source code of this file.
Van Gelder Random Number Generator.
Definition in file prandom.yap.