SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Member Functions | Private Attributes
smtrat::cadcells::representation::approximation::CellApproximator Class Reference

#include <CellApproximator.h>

Collaboration diagram for smtrat::cadcells::representation::approximation::CellApproximator:
Collaboration graph
[legend]

Public Member Functions

template<typename T >
 CellApproximator (datastructures::SampledDerivationRef< T > &der)
 
IR approximate_bound (const IR &p, const RAN &bound, bool below)
 
IR approximate_between (const IR &p_l, const IR &p_u, const RAN &l, const RAN &u)
 
datastructures::SymbolicInterval compute_cell ()
 

Private Member Functions

datastructures::Projections & proj ()
 
const datastructures::DelineationInterval & cell () const
 
const datastructures::Delineation & del () const
 
carl::Variable var () const
 
Assignment sample () const
 
RAN main_sample ()
 
template<ApxPoly PA>
IR apx_bound (const IR &p, const RAN &bound, bool below)
 
template<ApxPoly PA>
IR apx_between (const IR &p_l, const IR &p_u, const RAN &l, const RAN &u)
 

Private Attributes

datastructures::Projections & m_r_proj
 
const datastructures::DelineationInterval & m_r_cell
 
const datastructures::Delineation & m_r_del
 
carl::Variable m_var
 
Assignment m_sample
 

Detailed Description

Definition at line 10 of file CellApproximator.h.

Constructor & Destructor Documentation

◆ CellApproximator()

template<typename T >
smtrat::cadcells::representation::approximation::CellApproximator::CellApproximator ( datastructures::SampledDerivationRef< T > &  der)
inline

Definition at line 32 of file CellApproximator.h.

Member Function Documentation

◆ approximate_between()

IR smtrat::cadcells::representation::approximation::CellApproximator::approximate_between ( const IR &  p_l,
const IR &  p_u,
const RAN &  l,
const RAN &  u 
)
inline

Definition at line 318 of file CellApproximator.h.

Here is the call graph for this function:

◆ approximate_bound()

IR smtrat::cadcells::representation::approximation::CellApproximator::approximate_bound ( const IR &  p,
const RAN &  bound,
bool  below 
)
inline

Definition at line 309 of file CellApproximator.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ apx_between()

template<ApxPoly PA>
IR smtrat::cadcells::representation::approximation::CellApproximator::apx_between ( const IR &  p_l,
const IR &  p_u,
const RAN &  l,
const RAN &  u 
)
private

◆ apx_bound()

template<ApxPoly PA>
IR smtrat::cadcells::representation::approximation::CellApproximator::apx_bound ( const IR &  p,
const RAN &  bound,
bool  below 
)
private

◆ cell()

const datastructures::DelineationInterval& smtrat::cadcells::representation::approximation::CellApproximator::cell ( ) const
inlineprivate

Definition at line 19 of file CellApproximator.h.

Here is the caller graph for this function:

◆ compute_cell()

datastructures::SymbolicInterval smtrat::cadcells::representation::approximation::CellApproximator::compute_cell ( )
inline

Definition at line 325 of file CellApproximator.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ del()

const datastructures::Delineation& smtrat::cadcells::representation::approximation::CellApproximator::del ( ) const
inlineprivate

Definition at line 20 of file CellApproximator.h.

Here is the caller graph for this function:

◆ main_sample()

RAN smtrat::cadcells::representation::approximation::CellApproximator::main_sample ( )
inlineprivate

Definition at line 23 of file CellApproximator.h.

◆ proj()

datastructures::Projections& smtrat::cadcells::representation::approximation::CellApproximator::proj ( )
inlineprivate

Definition at line 18 of file CellApproximator.h.

Here is the caller graph for this function:

◆ sample()

Assignment smtrat::cadcells::representation::approximation::CellApproximator::sample ( ) const
inlineprivate

Definition at line 22 of file CellApproximator.h.

◆ var()

carl::Variable smtrat::cadcells::representation::approximation::CellApproximator::var ( ) const
inlineprivate

Definition at line 21 of file CellApproximator.h.

Field Documentation

◆ m_r_cell

const datastructures::DelineationInterval& smtrat::cadcells::representation::approximation::CellApproximator::m_r_cell
private

Definition at line 13 of file CellApproximator.h.

◆ m_r_del

const datastructures::Delineation& smtrat::cadcells::representation::approximation::CellApproximator::m_r_del
private

Definition at line 14 of file CellApproximator.h.

◆ m_r_proj

datastructures::Projections& smtrat::cadcells::representation::approximation::CellApproximator::m_r_proj
private

Definition at line 12 of file CellApproximator.h.

◆ m_sample

Assignment smtrat::cadcells::representation::approximation::CellApproximator::m_sample
private

Definition at line 16 of file CellApproximator.h.

◆ m_var

carl::Variable smtrat::cadcells::representation::approximation::CellApproximator::m_var
private

Definition at line 15 of file CellApproximator.h.

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