|
| 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...
|
|
| Paving (const IntervalVector &box, SetValue value=SetValue::UNKNOWN) |
| Creates a paving. More...
|
|
| ~Paving () |
| Paving destructor.
|
|
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 | 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) const |
| Returns the set of connected subsets of this paving. More...
|
|
| 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...
|
|
Paving resulting from a Set-Inversion Via Interval Analysis.