SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Member Functions
smtrat::sampling< S > Struct Template Reference

#include <Sampling.h>

Static Public Member Functions

template<typename T >
static size_t sample_outside (cadcells::RAN &sample, const std::set< cadcells::datastructures::SampledDerivationRef< T >, SampledDerivationRefCompare > &derivations)
 

Detailed Description

template<SamplingAlgorithm S>
struct smtrat::sampling< S >

Definition at line 51 of file Sampling.h.

Member Function Documentation

◆ sample_outside()

template<SamplingAlgorithm S>
template<typename T >
static size_t smtrat::sampling< S >::sample_outside ( cadcells::RAN &  sample,
const std::set< cadcells::datastructures::SampledDerivationRef< T >, SampledDerivationRefCompare > &  derivations 
)
static
The documentation for this struct was generated from the following file: