smtrat::cadcells::representation::util::IntervalCompare< T > Struct Template Reference

#include <heuristics_covering.h>

Public Member Functions
constexpr bool	operator() (const datastructures::SampledDerivationRef< T > &a, const datastructures::SampledDerivationRef< T > &b) const

Detailed Description

template<typename T>
struct smtrat::cadcells::representation::util::IntervalCompare< T >

Definition at line 156 of file heuristics_covering.h.

Member Function Documentation

operator()()

template<typename T >

constexpr bool smtrat::cadcells::representation::util::IntervalCompare< T >::operator() ( const datastructures::SampledDerivationRef< T > &  a, const datastructures::SampledDerivationRef< T > &  b  ) const

inlineconstexpr

Definition at line 157 of file heuristics_covering.h.

Here is the call graph for this function:

---

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

• smtrat-cadcells/representation/heuristics_covering.h