smtrat::cad::sample_compare Namespace Reference

Contains comparison operators for samples and associated helpers. More...

Data Structures
struct	level
struct	size
struct	absvalue
struct	type
struct	SampleComparator_impl
struct	SampleComparator
struct	SampleComparator< Iterator, SampleCompareStrategy::Value >
struct	SampleComparator< Iterator, SampleCompareStrategy::Type >
struct	SampleComparator< Iterator, SampleCompareStrategy::T >
struct	SampleComparator< Iterator, SampleCompareStrategy::TLSA >
struct	SampleComparator< Iterator, SampleCompareStrategy::TSA >
struct	SampleComparator< Iterator, SampleCompareStrategy::TS >
struct	SampleComparator< Iterator, SampleCompareStrategy::LT >
struct	SampleComparator< Iterator, SampleCompareStrategy::LTA >
struct	SampleComparator< Iterator, SampleCompareStrategy::LTS >
struct	SampleComparator< Iterator, SampleCompareStrategy::LTSA >
struct	SampleComparator< Iterator, SampleCompareStrategy::LS >
struct	SampleComparator< Iterator, SampleCompareStrategy::S >

Typedefs
using	lt = std::less<>
using	gt = std::greater<>

Functions
template<typename It >
auto	get (const It &it, level)
template<typename It >
auto	get (const It &it, size)
template<typename It >
auto	get (const It &it, absvalue)
template<typename It >
auto	get (const It &it, type)
template<typename It , typename tag , typename F >
int	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	compare (const It &lhs, const It &rhs)
template<typename It , typename tag , typename F , typename... Tail>
bool	compare (const It &lhs, const It &rhs)

Detailed Description

Contains comparison operators for samples and associated helpers.

The comparators implement a less-than operators and large samples are considered first. Hence if lhs has greater priority than rhs, the result should be false.

Typedef Documentation

gt

using smtrat::cad::sample_compare::gt = typedef std::greater<>

Definition at line 78 of file SampleComparator.h.

lt

using smtrat::cad::sample_compare::lt = typedef std::less<>

Definition at line 77 of file SampleComparator.h.

Function Documentation

compare() [1/2]

template<typename It >

bool smtrat::cad::sample_compare::compare	(	const It &	lhs,
		const It &	rhs
	)

Definition at line 58 of file SampleComparator.h.

Here is the caller graph for this function:

compare() [2/2]

template<typename It , typename tag , typename F , typename... Tail>

bool smtrat::cad::sample_compare::compare	(	const It &	lhs,
		const It &	rhs
	)

Definition at line 62 of file SampleComparator.h.

Here is the call graph for this function:

compareCriterion()

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.

Returns 0 if the values are the same, -1 if lhs should be used first and 1 if rhs should be used first.

Definition at line 46 of file SampleComparator.h.

Here is the call graph for this function:

Here is the caller graph for this function:

get() [1/4]

template<typename It >

auto smtrat::cad::sample_compare::get	(	const It &	it,
		absvalue
	)

Definition at line 31 of file SampleComparator.h.

Here is the call graph for this function:

get() [2/4]

template<typename It >

auto smtrat::cad::sample_compare::get	(	const It &	it,
		level
	)

Definition at line 23 of file SampleComparator.h.

Here is the caller graph for this function:

get() [3/4]

template<typename It >

auto smtrat::cad::sample_compare::get	(	const It &	it,
		size
	)

Definition at line 27 of file SampleComparator.h.

get() [4/4]

template<typename It >

auto smtrat::cad::sample_compare::get	(	const It &	it,
		type
	)

Definition at line 35 of file SampleComparator.h.