SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
smtrat::cad::sample_compare::SampleComparator_impl< It, Args > Struct Template Reference

#include <SampleComparator.h>

Inheritance diagram for smtrat::cad::sample_compare::SampleComparator_impl< It, Args >:
Inheritance graph
[legend]

Public Member Functions

bool operator() (const It &lhs, const It &rhs) const
 

Detailed Description

template<typename It, typename... Args>
struct smtrat::cad::sample_compare::SampleComparator_impl< It, Args >

Definition at line 69 of file SampleComparator.h.

Member Function Documentation

◆ operator()()

template<typename It , typename... Args>
bool smtrat::cad::sample_compare::SampleComparator_impl< It, Args >::operator() ( const It &  lhs,
const It &  rhs 
) const
inline

Definition at line 70 of file SampleComparator.h.

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