SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
smtrat::SampledDerivationRefCompare Struct Reference

#include <Helper.h>

Public Member Functions

template<typename T >
constexpr bool operator() (const cadcells::datastructures::SampledDerivationRef< T > &a, const cadcells::datastructures::SampledDerivationRef< T > &b) const
 

Detailed Description

Definition at line 14 of file Helper.h.

Member Function Documentation

◆ operator()()

template<typename T >
constexpr bool smtrat::SampledDerivationRefCompare::operator() ( const cadcells::datastructures::SampledDerivationRef< T > &  a,
const cadcells::datastructures::SampledDerivationRef< T > &  b 
) const
inlineconstexpr

Definition at line 16 of file Helper.h.

Here is the call graph for this function:
The documentation for this struct was generated from the following file: