#include "config.h"
#include <time.h>
#include "cf_assert.h"
#include "cf_defs.h"
#include "cf_random.h"
#include "ffops.h"
#include "gfops.h"
#include "imm.h"
Go to the source code of this file.
◆ factoryrandom()
int factoryrandom |
( |
int |
n | ) |
|
random integers with abs less than n
Definition at line 168 of file cf_random.cc.
INST_VAR RandomGenerator ranGen
◆ factoryseed()
void factoryseed |
( |
int |
s | ) |
|
random seed initializer
Definition at line 176 of file cf_random.cc.
const CanonicalForm int s
INST_VAR RandomGenerator ranGen
◆ ranGen