/*
 * 'dev_random.h' created: Sun Oct 13 00:32:41 2002
 *
 * Copyright 2002 by Lubomir Host <8host AT pauli.fmph.uniba.sk>
 *
 * License: GNU GPL (GNU Public License)
 *
 */

/* $Platon$ */

#ifndef DEV_RANDOM_H
#  define DEV_RANDOM_H

#include "main.h"
#include "devices.h"

extern int     open_dev_random (void);
extern Real_t  read_dev_random (void);
extern int    close_dev_random (void);

extern RNG_device_t rng_dev_random;

#endif /* ifndef DEV_RANDOM_H */