PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
randomset.h
Go to the documentation of this file.
1
//
2
// untitled
3
//
4
// Created by on 2007-12-13.
5
// Copyright (c) 2007 The PolyBoRi Team. See LICENSE file.
6
// PolyBoRi Project
7
8
#ifndef PB_GB_RANDOM_HEADER
9
#define PB_GB_RANDOM_HEADER
10
#include "
groebner_defs.h
"
11
#include <boost/random/uniform_smallint.hpp>
12
#include <boost/random/linear_congruential.hpp>
13
#include <boost/random/variate_generator.hpp>
14
BEGIN_NAMESPACE_PBORIGB
15
typedef
boost::minstd_rand
base_generator_type
;
16
typedef
boost::uniform_smallint<>
distribution_type
;
17
typedef
boost::variate_generator<base_generator_type&, distribution_type>
bool_gen_type
;
18
MonomialSet
random_set
(
const
Monomial
& variables,
unsigned
int
len);
19
void
set_random_seed
(
unsigned
int
seed);
20
END_NAMESPACE_PBORIGB
21
#endif
Generated by
1.8.3.1