#include <criteria.h>

Inheritance diagram for smtrat::cadcells::representation::approximation::ApxCriteria:

Collaboration diagram for smtrat::cadcells::representation::approximation::ApxCriteria:

[legend]

Static Public Member Functions
static void	inform (const Polynomial &p, std::size_t root_index)

static bool	cell (const std::vector< Atom > &constraints)

static bool	level (std::size_t lvl)

static bool	poly (datastructures::Projections &proj, const IR &ir)

static bool	poly_pair (datastructures::Projections &proj, const IR &ir_l, const IR &ir_u)

static bool	side (datastructures::Projections &proj, const IR &ir, datastructures::RootMap::const_iterator start, datastructures::RootMap::const_iterator end)

Private Member Functions
bool	crit_considered_count ()

bool	crit_apx_count ()

bool	crit_single_degree (datastructures::Projections &proj, const IR &ir)

bool	crit_pair_degree (datastructures::Projections &proj, const IR &ir_l, const IR &ir_u)

bool	crit_poly_apx_count (datastructures::Projections &proj, const IR &ir)

bool	crit_involved_count (const std::vector< Atom > &constraints)

bool	crit_side_degree (datastructures::Projections &proj, const IR &ir, datastructures::RootMap::const_iterator start, datastructures::RootMap::const_iterator end)

void	new_cell (const std::vector< Atom > &constraints)

Private Attributes
friend	Singleton< ApxCriteria >

std::size_t	m_considered_count = 0

std::size_t	m_apx_count = 0

bool	m_curr_apx = false

std::unordered_map< Atom, std::size_t >	m_constraint_involved_counter

std::map< std::pair< Polynomial, std::size_t >, std::size_t >	m_poly_apx_counter

std::vector< Atom >	m_curr_constraints

Detailed Description

Definition at line 8 of file criteria.h.

Member Function Documentation

◆ cell()

static bool smtrat::cadcells::representation::approximation::ApxCriteria::cell ( const std::vector< Atom > & constraints )

inlinestatic

Definition at line 112 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ crit_apx_count()

bool smtrat::cadcells::representation::approximation::ApxCriteria::crit_apx_count ( )

inlineprivate

Definition at line 27 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ crit_considered_count()

bool smtrat::cadcells::representation::approximation::ApxCriteria::crit_considered_count ( )

inlineprivate

Definition at line 18 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ crit_involved_count()

bool smtrat::cadcells::representation::approximation::ApxCriteria::crit_involved_count ( const std::vector< Atom > & constraints )

inlineprivate

Definition at line 61 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ crit_pair_degree()

bool smtrat::cadcells::representation::approximation::ApxCriteria::crit_pair_degree	(	datastructures::Projections &	proj,
		const IR &	ir_l,
		const IR &	ir_u
	)

inlineprivate

Definition at line 41 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ crit_poly_apx_count()

bool smtrat::cadcells::representation::approximation::ApxCriteria::crit_poly_apx_count	(	datastructures::Projections &	proj,
		const IR &	ir
	)

inlineprivate

Definition at line 50 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ crit_side_degree()

bool smtrat::cadcells::representation::approximation::ApxCriteria::crit_side_degree	(	datastructures::Projections &	proj,
		const IR &	ir,
		datastructures::RootMap::const_iterator	start,
		datastructures::RootMap::const_iterator	end
	)

inlineprivate

Definition at line 77 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ crit_single_degree()

bool smtrat::cadcells::representation::approximation::ApxCriteria::crit_single_degree	(	datastructures::Projections &	proj,
		const IR &	ir
	)

inlineprivate

Definition at line 36 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ inform()

static void smtrat::cadcells::representation::approximation::ApxCriteria::inform	(	const Polynomial &	p,
		std::size_t	root_index
	)

inlinestatic

Definition at line 95 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ level()

static bool smtrat::cadcells::representation::approximation::ApxCriteria::level ( std::size_t lvl )

inlinestatic

Definition at line 118 of file criteria.h.

Here is the call graph for this function:

◆ new_cell()

void smtrat::cadcells::representation::approximation::ApxCriteria::new_cell ( const std::vector< Atom > & constraints )

inlineprivate

Definition at line 88 of file criteria.h.

Here is the caller graph for this function:

◆ poly()

static bool smtrat::cadcells::representation::approximation::ApxCriteria::poly	(	datastructures::Projections &	proj,
		const IR &	ir
	)

inlinestatic

Definition at line 123 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ poly_pair()

static bool smtrat::cadcells::representation::approximation::ApxCriteria::poly_pair	(	datastructures::Projections &	proj,
		const IR &	ir_l,
		const IR &	ir_u
	)

inlinestatic

Definition at line 128 of file criteria.h.

Here is the call graph for this function:

◆ side()

static bool smtrat::cadcells::representation::approximation::ApxCriteria::side	(	datastructures::Projections &	proj,
		const IR &	ir,
		datastructures::RootMap::const_iterator	start,
		datastructures::RootMap::const_iterator	end
	)

inlinestatic

Definition at line 133 of file criteria.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

◆ m_apx_count

std::size_t smtrat::cadcells::representation::approximation::ApxCriteria::m_apx_count = 0

private

Definition at line 12 of file criteria.h.

◆ m_considered_count

std::size_t smtrat::cadcells::representation::approximation::ApxCriteria::m_considered_count = 0

private

Definition at line 11 of file criteria.h.

◆ m_constraint_involved_counter

std::unordered_map<Atom, std::size_t> smtrat::cadcells::representation::approximation::ApxCriteria::m_constraint_involved_counter

private

Definition at line 14 of file criteria.h.

◆ m_curr_apx

bool smtrat::cadcells::representation::approximation::ApxCriteria::m_curr_apx = false

private

Definition at line 13 of file criteria.h.

◆ m_curr_constraints

std::vector<Atom> smtrat::cadcells::representation::approximation::ApxCriteria::m_curr_constraints

private

Definition at line 16 of file criteria.h.

◆ m_poly_apx_counter

std::map<std::pair<Polynomial, std::size_t>, std::size_t> smtrat::cadcells::representation::approximation::ApxCriteria::m_poly_apx_counter

private

Definition at line 15 of file criteria.h.

◆ Singleton< ApxCriteria >

friend smtrat::cadcells::representation::approximation::ApxCriteria::Singleton< ApxCriteria >

private

Definition at line 9 of file criteria.h.

The documentation for this class was generated from the following file:

smtrat-cadcells/representation/approximation/criteria.h

Static Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Member Function Documentation

◆ cell()

◆ crit_apx_count()

◆ crit_considered_count()

◆ crit_involved_count()

◆ crit_pair_degree()

◆ crit_poly_apx_count()

◆ crit_side_degree()

◆ crit_single_degree()

◆ inform()

◆ level()

◆ new_cell()

◆ poly()

◆ poly_pair()

◆ side()

Field Documentation

◆ m_apx_count

◆ m_considered_count

◆ m_constraint_involved_counter

◆ m_curr_apx

◆ m_curr_constraints

◆ m_poly_apx_counter

◆ Singleton< ApxCriteria >