PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
src
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 RANDOM_HEADER
9
#include "
groebner_defs.h
"
10
#include <boost/random/uniform_smallint.hpp>
11
#include <boost/random/linear_congruential.hpp>
12
#include <boost/random/variate_generator.hpp>
13
BEGIN_NAMESPACE_PBORIGB
14
typedef
boost::minstd_rand
base_generator_type
;
15
typedef
boost::uniform_smallint<>
distribution_type
;
16
typedef
boost::variate_generator<base_generator_type&, distribution_type>
bool_gen_type
;
17
MonomialSet
random_set
(
const
Monomial
& variables,
unsigned
int
len);
18
END_NAMESPACE_PBORIGB
19
#endif
Generated on Wed Mar 26 2014 17:27:06 for PolyBoRi by
1.8.1.2