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

#include <Sampling.h>

Static Public Member Functions

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

Detailed Description

template<IsSampleOutsideAlgorithm S>
struct smtrat::is_sample_outside< S >

Definition at line 64 of file Sampling.h.

Member Function Documentation

◆ is_outside()

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