btor 0.1.0

Rust wrapper for btor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

/**
 *  Btor2Tools: A tool package for the BTOR format.
 *
 *  Copyright (c) 2015-2018 Aina Niemetz.
 *
 *  All rights reserved.
 *
 *  This file is part of the Btor2Tools package.
 *  See LICENSE.txt for more information on using this software.
 */

#ifndef BTOR2RNG_H_INCLUDED
#define BTOR2RNG_H_INCLUDED

#include <stdbool.h>
#include <stdint.h>

#if __cplusplus
extern "C" {
#endif

struct BtorSimRNG
{
  uint32_t z, w;
};
typedef struct BtorSimRNG BtorSimRNG;

void btorsim_rng_init (BtorSimRNG* rng, uint32_t seed);

uint32_t btorsim_rng_rand (BtorSimRNG* rng);
uint32_t btorsim_rng_pick_rand (BtorSimRNG* rng, uint32_t from, uint32_t to);

#if __cplusplus
}
#endif
#endif