properties.h File Reference

#include <functional>
#include "../datastructures/polynomials.h"

Include dependency graph for properties.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::cadcells::operators::properties::poly_sgn_inv
struct	smtrat::cadcells::operators::properties::poly_irreducible_sgn_inv
struct	smtrat::cadcells::operators::properties::poly_semi_sgn_inv
struct	smtrat::cadcells::operators::properties::poly_irreducible_semi_sgn_inv
struct	smtrat::cadcells::operators::properties::poly_ord_inv
struct	smtrat::cadcells::operators::properties::poly_del
struct	smtrat::cadcells::operators::properties::poly_proj_del
struct	smtrat::cadcells::operators::properties::cell_connected
struct	smtrat::cadcells::operators::properties::poly_ord_inv_base
struct	smtrat::cadcells::operators::properties::root_ordering_holds

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::operators
	Projection operators.
	smtrat::cadcells::operators::properties
	Contains all properties that are stored in a derivation.

Functions
bool	smtrat::cadcells::operators::properties::operator== (const poly_sgn_inv &lhs, const poly_sgn_inv &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_sgn_inv &lhs, const poly_sgn_inv &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_sgn_inv &data)
bool	smtrat::cadcells::operators::properties::operator== (const poly_irreducible_sgn_inv &lhs, const poly_irreducible_sgn_inv &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_irreducible_sgn_inv &lhs, const poly_irreducible_sgn_inv &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_irreducible_sgn_inv &data)
bool	smtrat::cadcells::operators::properties::operator== (const poly_semi_sgn_inv &lhs, const poly_semi_sgn_inv &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_semi_sgn_inv &lhs, const poly_semi_sgn_inv &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_semi_sgn_inv &data)
bool	smtrat::cadcells::operators::properties::operator== (const poly_irreducible_semi_sgn_inv &lhs, const poly_irreducible_semi_sgn_inv &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_irreducible_semi_sgn_inv &lhs, const poly_irreducible_semi_sgn_inv &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_irreducible_semi_sgn_inv &data)
bool	smtrat::cadcells::operators::properties::operator== (const poly_ord_inv &lhs, const poly_ord_inv &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_ord_inv &lhs, const poly_ord_inv &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_ord_inv &data)
bool	smtrat::cadcells::operators::properties::operator== (const poly_del &lhs, const poly_del &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_del &lhs, const poly_del &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_del &data)
bool	smtrat::cadcells::operators::properties::operator== (const poly_proj_del &lhs, const poly_proj_del &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_proj_del &lhs, const poly_proj_del &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_proj_del &data)
bool	smtrat::cadcells::operators::properties::operator== (const cell_connected &lhs, const cell_connected &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const cell_connected &lhs, const cell_connected &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const cell_connected &data)
bool	smtrat::cadcells::operators::properties::operator== (const poly_ord_inv_base &lhs, const poly_ord_inv_base &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const poly_ord_inv_base &lhs, const poly_ord_inv_base &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const poly_ord_inv_base &data)
bool	smtrat::cadcells::operators::properties::operator== (const root_ordering_holds &lhs, const root_ordering_holds &rhs)
bool	smtrat::cadcells::operators::properties::operator< (const root_ordering_holds &lhs, const root_ordering_holds &rhs)
std::ostream &	smtrat::cadcells::operators::properties::operator<< (std::ostream &os, const root_ordering_holds &data)