Paving resulting from a Set-Inversion Via Interval Analysis. More...
#include <codac_SIVIAPaving.h>
Inheritance diagram for codac::SIVIAPaving:
Collaboration diagram for codac::SIVIAPaving:
Public Member Functions | |
| SIVIAPaving (const IntervalVector &init_box) | |
| Initializes a SIVIA paving. More... | |
| void | compute (const Function &f, const IntervalVector &y, float precision) |
| Computes the paving from the constraint \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\). More... | |
| void | compute (Ctc &ctc, float precision) |
| Computes the paving from using a contractor. More... | |
| void | compute (ibex::Sep &sep, float precision) |
| Computes the paving from a separator. More... | |
 Public Member Functions inherited from codac::Paving | |
| Paving (const IntervalVector &box, SetValue value=SetValue::UNKNOWN) | |
| Creates a paving. More... | |
| Paving (const Paving &p) | |
| ~Paving () | |
| Paving destructor. | |
| Paving & | operator= (const Paving &p) |
| Paving * | get_first_subpaving () |
| Points to the first subpaving of the binary tree implementing this paving set. More... | |
| const Paving * | get_first_subpaving () const |
| Points to the first subpaving of the binary tree implementing this paving set. More... | |
| Paving * | get_second_subpaving () |
| Points to the second subpaving of the binary tree implementing this paving set. More... | |
| const Paving * | get_second_subpaving () const |
| Points to the second subpaving of the binary tree implementing this paving set. More... | |
| Paving * | get_root () |
| Returns a pointer to the root of the paving structure. More... | |
| const Paving * | get_root () const |
| Returns a pointer to the root of the paving structure. More... | |
| Paving * | get_first_leaf (SetValue val, bool without_flag=false) |
| Points to the first leaf of the specified value. More... | |
| const Paving * | get_first_leaf (SetValue val, bool without_flag=false) const |
| Points to the first leaf of the paving structure. More... | |
| void | bisect (float ratio=0.49) |
| Bisects this paving into two subpavings with some ratio bisection. More... | |
| bool | is_leaf () const |
| Returns true if this paving is made of two subpavings. More... | |
| bool | flag () const |
| Tests whether this paving has been flagged or not. More... | |
| void | set_flag () const |
| Flags this paving and all its children. | |
| void | reset_flags () const |
| Removes the flags of this Paving and all its children. | |
| void | reset_paving (SetValue value=SetValue::UNKNOWN) |
| Same as building a new Paving object. More... | |
| void | get_boxes (std::list< IntervalVector > &l_subpavings, SetValue val, SetValue neg_val=SetValue::DEFAULT) const |
| Returns a set of boxes leaves of some value. More... | |
| void | get_pavings_intersecting (SetValue val, const IntervalVector &box_to_intersect, std::vector< const Paving * > &v_subpavings, bool no_degenerated_intersection=false) const |
| Returns a set of Paving leaves of some value and intersecting a given box. More... | |
| void | get_neighbours (std::vector< const Paving * > &v_neighbours, SetValue val=SetValue::IN|SetValue::OUT|SetValue::UNKNOWN, bool without_flag=false) const |
| Returns the neighbors (adjacent items) of this Paving, having some value. More... | |
| std::vector< ConnectedSubset > | get_connected_subsets (bool sort_by_size=false, SetValue val=SetValue::UNKNOWN|SetValue::IN) const |
| Returns the set of connected subsets of this paving. More... | |
| Public Member Functions inherited from codac::Set | |
| Set (const IntervalVector &box, SetValue value=SetValue::UNKNOWN) | |
| Creates a set. More... | |
| ~Set () | |
| Set destructor. | |
| SetValue | value () const |
| Returns the value of this set. More... | |
| int | size () const |
| Returns the dimension of the paving. More... | |
| const IntervalVector & | box () const |
| Returns the n-dimensional box representing this set. More... | |
| void | set_value (SetValue value) |
| Sets the integer value for this set. More... | |
Additional Inherited Members | |
| Public Attributes inherited from codac::Paving | |
| bool | m_flag = false |
| optional flag, can be used by search algorithms | |
| Paving * | m_root = nullptr |
| pointer to the root | |
| Paving * | m_second_subpaving = nullptr |
| tree structure | |
| Protected Attributes inherited from codac::Set | |
| SetValue | m_value |
| integer value of this set | |
| IntervalVector | m_box |
| box representing this set | |
Detailed Description
Paving resulting from a Set-Inversion Via Interval Analysis.
Constructor & Destructor Documentation
◆ SIVIAPaving()
| codac::SIVIAPaving::SIVIAPaving | ( | const IntervalVector & | init_box | ) |
Initializes a SIVIA paving.
- Parameters
-
init_box n-dimensional box defining the hull of the paving
Member Function Documentation
◆ compute() [1/3]
| void codac::SIVIAPaving::compute | ( | const Function & | f, |
| const IntervalVector & | y, | ||
| float | precision | ||
| ) |
Computes the paving from the constraint \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\).
- Parameters
-
f IBEX static function \(\mathbf{f}\), possibly non-linear y box \([\mathbf{y}]\) precision precision \(\epsilon\) of the SIVIA approximation
◆ compute() [2/3]
| void codac::SIVIAPaving::compute | ( | Ctc & | ctc, |
| float | precision | ||
| ) |
Computes the paving from using a contractor.
- Parameters
-
ctc static contractor on boxes precision precision \(\epsilon\) of the SIVIA approximation
◆ compute() [3/3]
| void codac::SIVIAPaving::compute | ( | ibex::Sep & | sep, |
| float | precision | ||
| ) |
Computes the paving from a separator.
- Parameters
-
sep separator object precision precision \(\epsilon\) of the SIVIA approximation
The documentation for this class was generated from the following file:
- /home/simon/codac/src/core/paving/codac_SIVIAPaving.h
