smtrat::cad::projection_compare Namespace Reference

Data Structures
struct	level
struct	degree
struct	type
struct	ProjectionComparator_impl
struct	ProjectionComparator
struct	ProjectionComparator< ProjectionCompareStrategy::D >
struct	ProjectionComparator< ProjectionCompareStrategy::PD >
struct	ProjectionComparator< ProjectionCompareStrategy::SD >
struct	ProjectionComparator< ProjectionCompareStrategy::lD >
struct	ProjectionComparator< ProjectionCompareStrategy::LD >

Typedefs
template<typename Poly >
using	Candidate = std::tuple< const Poly &, const Poly &, std::size_t >
using	lt = std::less<>
using	gt = std::greater<>

Functions
template<typename Poly >
std::ostream &	operator<< (std::ostream &os, const Candidate< Poly > &c)
template<typename Poly >
auto	get (const Candidate< Poly > &c, level)
template<typename Poly >
auto	get (const Candidate< Poly > &c, degree)
template<typename Poly >
auto	get (const Candidate< Poly > &c, type)
template<typename Poly , typename tag , typename F >
int	compareCriterion (const Candidate< Poly > &lhs, const Candidate< Poly > &rhs, tag t, F &&f)
	Compares the criterion given by t of two samples lhs and rhs using a comparator f. More...
template<typename Poly >
bool	compare (const Candidate< Poly > &lhs, const Candidate< Poly > &rhs)
template<typename Poly , typename tag , typename F , typename... Tail>
bool	compare (const Candidate< Poly > &lhs, const Candidate< Poly > &rhs)

Typedef Documentation

Candidate

template<typename Poly >

using smtrat::cad::projection_compare::Candidate = typedef std::tuple<const Poly&, const Poly&, std::size_t>

Definition at line 14 of file ProjectionComparator.h.

gt

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

Definition at line 76 of file ProjectionComparator.h.

lt

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

Definition at line 75 of file ProjectionComparator.h.

Function Documentation

compare() [1/2]

template<typename Poly >

bool smtrat::cad::projection_compare::compare	(	const Candidate< Poly > &	lhs,
		const Candidate< Poly > &	rhs
	)

Definition at line 55 of file ProjectionComparator.h.

Here is the caller graph for this function:

compare() [2/2]

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

bool smtrat::cad::projection_compare::compare	(	const Candidate< Poly > &	lhs,
		const Candidate< Poly > &	rhs
	)

Definition at line 59 of file ProjectionComparator.h.

Here is the call graph for this function:

compareCriterion()

template<typename Poly , typename tag , typename F >

int smtrat::cad::projection_compare::compareCriterion	(	const Candidate< Poly > &	lhs,
		const Candidate< Poly > &	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 43 of file ProjectionComparator.h.

Here is the call graph for this function:

Here is the caller graph for this function:

get() [1/3]

template<typename Poly >

auto smtrat::cad::projection_compare::get	(	const Candidate< Poly > &	c,
		degree
	)

Definition at line 29 of file ProjectionComparator.h.

Here is the call graph for this function:

get() [2/3]

template<typename Poly >

auto smtrat::cad::projection_compare::get	(	const Candidate< Poly > &	c,
		level
	)

Definition at line 25 of file ProjectionComparator.h.

Here is the caller graph for this function:

get() [3/3]

template<typename Poly >

auto smtrat::cad::projection_compare::get	(	const Candidate< Poly > &	c,
		type
	)

Definition at line 33 of file ProjectionComparator.h.

operator<<()

template<typename Poly >

std::ostream& smtrat::cad::projection_compare::operator<<	(	std::ostream &	os,
		const Candidate< Poly > &	c
	)

Definition at line 16 of file ProjectionComparator.h.