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

#include <Sampling.h>

Static Public Member Functions

template<typename FE , typename PropertiesSet >
static std::optional< cadcells::RAN > sample_outside (const IntervalSet< PropertiesSet > &derivations, const FE &f)
 

Detailed Description

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

Definition at line 17 of file Sampling.h.

Member Function Documentation

◆ sample_outside()

template<SamplingAlgorithm S>
template<typename FE , typename PropertiesSet >
static std::optional<cadcells::RAN> smtrat::covering_ng::sampling< S >::sample_outside ( const IntervalSet< PropertiesSet > &  derivations,
const FE &  f 
)
static
The documentation for this struct was generated from the following file: