smtrat::cadcells::representation::covering< H > Struct Template Reference

#include <heuristics.h>

Static Public Member Functions
template<typename T >
static datastructures::CoveringRepresentation< T >	compute (const std::vector< datastructures::SampledDerivationRef< T >> &ders)

Detailed Description

template<CoveringHeuristic H>
struct smtrat::cadcells::representation::covering< H >

Definition at line 30 of file heuristics.h.

Member Function Documentation

compute()

template<CoveringHeuristic H>

template<typename T >

static datastructures::CoveringRepresentation<T> smtrat::cadcells::representation::covering< H >::compute ( const std::vector< datastructures::SampledDerivationRef< T >> &  ders )

static

Here is the caller graph for this function:

---

The documentation for this struct was generated from the following file:

• smtrat-cadcells/representation/heuristics.h