properties.h File Reference

#include "../common.h"
#include <boost/container/flat_set.hpp>

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::datastructures::property_hash< T >
struct	smtrat::cadcells::datastructures::PropertiesTContent< T, true >
struct	smtrat::cadcells::datastructures::PropertiesTContent< T, false >
struct	smtrat::cadcells::datastructures::PropertiesT< Ts >
	Set of properties. More...
struct	smtrat::cadcells::datastructures::PropertiesT< T, Ts... >

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::datastructures
	Main datastructures.

Typedefs
template<typename T >
using	smtrat::cadcells::datastructures::PropertiesTSet = boost::container::flat_set< T >

Functions
template<class T , class... Ts>
void	smtrat::cadcells::datastructures::prop_insert (PropertiesT< T, Ts... > &sets, const T &element)
template<class S , class T , class... Ts, typename std::enable_if<!std::is_same< S, T >::value >::type >
void	smtrat::cadcells::datastructures::prop_insert (PropertiesT< T, Ts... > &sets, const S &element)
template<class T , class... Ts>
bool	smtrat::cadcells::datastructures::prop_has (const PropertiesT< T, Ts... > &sets, const T &element)
template<class S , class T , class... Ts, typename std::enable_if<!std::is_same< S, T >::value >::type >
bool	smtrat::cadcells::datastructures::prop_has (const PropertiesT< T, Ts... > &sets, const S &element)
template<class T , class... Ts>
const auto &	smtrat::cadcells::datastructures::prop_get (const PropertiesT< T, Ts... > &sets)
template<class S , class T , class... Ts, typename std::enable_if<!std::is_same< S, T >::value >::type >
const auto &	smtrat::cadcells::datastructures::prop_get (const PropertiesT< T, Ts... > &sets)
template<class T , class... Ts>
void	smtrat::cadcells::datastructures::merge (PropertiesT< T, Ts... > &sets_a, const PropertiesT< T, Ts... > &sets_b)