ProjectionComparator.h File Reference

#include "../common.h"
#include "../Settings.h"
#include <tuple>

Include dependency graph for ProjectionComparator.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::projection_compare::level
struct	smtrat::cad::projection_compare::degree
struct	smtrat::cad::projection_compare::type
struct	smtrat::cad::projection_compare::ProjectionComparator_impl< Args >
struct	smtrat::cad::projection_compare::ProjectionComparator< Strategy >
struct	smtrat::cad::projection_compare::ProjectionComparator< ProjectionCompareStrategy::D >
struct	smtrat::cad::projection_compare::ProjectionComparator< ProjectionCompareStrategy::PD >
struct	smtrat::cad::projection_compare::ProjectionComparator< ProjectionCompareStrategy::SD >
struct	smtrat::cad::projection_compare::ProjectionComparator< ProjectionCompareStrategy::lD >
struct	smtrat::cad::projection_compare::ProjectionComparator< ProjectionCompareStrategy::LD >

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cad
	smtrat::cad::projection_compare

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

Functions
template<typename Poly >
std::ostream &	smtrat::cad::projection_compare::operator<< (std::ostream &os, const Candidate< Poly > &c)
template<typename Poly >
auto	smtrat::cad::projection_compare::get (const Candidate< Poly > &c, level)
template<typename Poly >
auto	smtrat::cad::projection_compare::get (const Candidate< Poly > &c, degree)
template<typename Poly >
auto	smtrat::cad::projection_compare::get (const Candidate< Poly > &c, type)
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. More...
template<typename Poly >
bool	smtrat::cad::projection_compare::compare (const Candidate< Poly > &lhs, const Candidate< Poly > &rhs)
template<typename Poly , typename tag , typename F , typename... Tail>
bool	smtrat::cad::projection_compare::compare (const Candidate< Poly > &lhs, const Candidate< Poly > &rhs)
template<typename Poly >
projection_compare::Candidate< Poly >	smtrat::cad::candidate (const Poly &p, const Poly &q, std::size_t level)