random_xsb.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include "xsb_config.h"
#include "cell_xsb.h"
#include "cinterf.h"
#include "deref.h"
#include "register.h"
#include "ptoc_tag_xsb_i.h"
#include "error_xsb.h"
#include "context.h"
#include "memory_xsb.h"

Functions
random_seeds_t *	init_random_seeds ()
int	ret_random (CTXTdecl)
int	getrand (CTXTdecl)
void	setrand (CTXTdecl)
Variables
random_seeds_t *	random_seeds = 0

---

Function Documentation

int getrand (  CTXTdecl   )

struct random_seeds_t* init_random_seeds (   )

int ret_random (  CTXTdecl   )

void setrand (  CTXTdecl   )

---

Variable Documentation

struct random_seeds_t* random_seeds = 0

---