SampleComparator.h File Reference

#include "Sample.h"
#include "../common.h"
#include "../Settings.h"

Include dependency graph for SampleComparator.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::cad::sample_compare::level
struct	smtrat::cad::sample_compare::size
struct	smtrat::cad::sample_compare::absvalue
struct	smtrat::cad::sample_compare::type
struct	smtrat::cad::sample_compare::SampleComparator_impl< It, Args >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, Strategy >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::Value >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::Type >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::T >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::TLSA >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::TSA >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::TS >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::LT >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::LTA >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::LTS >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::LTSA >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::LS >
struct	smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::S >
struct	smtrat::cad::FullSampleComparator< Iterator, Strategy >
struct	smtrat::cad::FullSampleComparator< Iterator, FullSampleCompareStrategy::Value >
struct	smtrat::cad::FullSampleComparator< Iterator, FullSampleCompareStrategy::Type >
struct	smtrat::cad::FullSampleComparator< Iterator, FullSampleCompareStrategy::T >

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cad
	smtrat::cad::sample_compare
	Contains comparison operators for samples and associated helpers.

Typedefs
using	smtrat::cad::sample_compare::lt = std::less<>
using	smtrat::cad::sample_compare::gt = std::greater<>

Functions
template<typename It >
auto	smtrat::cad::sample_compare::get (const It &it, level)
template<typename It >
auto	smtrat::cad::sample_compare::get (const It &it, size)
template<typename It >
auto	smtrat::cad::sample_compare::get (const It &it, absvalue)
template<typename It >
auto	smtrat::cad::sample_compare::get (const It &it, type)
template<typename It , typename tag , typename F >
int	smtrat::cad::sample_compare::compareCriterion (const It &lhs, const It &rhs, tag t, F &&f)
	Compares the criterion given by t of two samples lhs and rhs using a comparator f. More...
template<typename It >
bool	smtrat::cad::sample_compare::compare (const It &lhs, const It &rhs)
template<typename It , typename tag , typename F , typename... Tail>
bool	smtrat::cad::sample_compare::compare (const It &lhs, const It &rhs)