intLoad

int intLoad (FILE * const stream,
/*+ Stream to read from +*/ INT * const valptr)

to : 21 jan 2009

intSave

int intSave (FILE * const stream,
/*+ Stream to write to +*/ const INT val)

intAscn

void intAscn (INT * const permtab,
/*+ Permutation array to build +*/ const INT permnbr,
/*+ Number of entries in array +*/ const INT baseval)

intPerm

void intPerm (INT * const permtab,
/*+ Permutation array to build +*/ const INT permnbr)

Variables

intrandflag

static volatile int intrandflag

intRandInit

void intRandInit (void)

intRandReset

void intRandReset (void)
int intLoad (FILE * const stream,
/*+ Stream to read from +*/ INT * const valptr)
to : 21 jan 2009
int intSave (FILE * const stream,
/*+ Stream to write to +*/ const INT val)
void intAscn (INT * const permtab,
/*+ Permutation array to build +*/ const INT permnbr,
/*+ Number of entries in array +*/ const INT baseval)
void intPerm (INT * const permtab,
/*+ Permutation array to build +*/ const INT permnbr)
static volatile int intrandflag
void intRandInit (void)
void intRandReset (void)
Close