Program Listing for File MonteCarlo.h

↰ Return to documentation for file (ADS/algorithm/MonteCarlo.h)

/*--------------------------------------------------------------------------*/
/*--------------------------- File MonteCarlo.h ----------------------------*/
/*--------------------------------------------------------------------------*/
/*--------------------------------------------------------------------------*/
/*----------------------------- DEFINITIONS --------------------------------*/
/*--------------------------------------------------------------------------*/

#ifndef __ADS_MonteCarlo
 #define __ADS_MonteCarlo
                      /* self-identification: #endif constant */

/*--------------------------------------------------------------------------*/
/*------------------------------ INCLUDES ----------------------------------*/
/*--------------------------------------------------------------------------*/

#include "ADS/Contract.h"

#include <algorithm>
#include <cstddef>
#include <random>
#include <vector>

/*--------------------------------------------------------------------------*/
/*--------------------------- NAMESPACE ------------------------------------*/
/*--------------------------------------------------------------------------*/

namespace ADS {

template< class F , class R >
bool zeroPolynomial( F && p , std::size_t n , long d , int K , R & rng );

template< class T , class R >
bool freivalds( const std::vector< std::vector< T > > & A ,
                const std::vector< std::vector< T > > & B ,
                const std::vector< std::vector< T > > & C , int K , R & rng );

template< class F , class R >
bool halfSatisfiable( F && f , std::size_t n , int K , R & rng );

/*--------------------------------------------------------------------------*/

}  // end( namespace ADS )

/*--------------------------------------------------------------------------*/
/*-------------------------- IMPLEMENTATION --------------------------------*/
/*--------------------------------------------------------------------------*/

#include "ADS/algorithm/impl/MonteCarlo.tpp"

/*--------------------------------------------------------------------------*/

#endif  /* MonteCarlo.h included */

/*--------------------------------------------------------------------------*/
/*------------------------- End File MonteCarlo.h --------------------------*/
/*--------------------------------------------------------------------------*/