#include "ibex_Sep.h"
#include "codac_IntervalVector.h"
Go to the source code of this file.
|
class | codac::SepBox |
| Separator \(\mathcal{S}_{box}\) that separates two boxes according to the constraint \(\mathbf{x}\in[\mathbf{b}]\). More...
|
|
|
namespace | codac |
| FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function on a given box until the Hausdorff distance between two iterations is less than a given ratio. This operation can be seen as a contractor on the boundary of the solution set.
|
|
SepBox class
- Date
- 2022
- Author
- Quentin Brateau
- Copyright
- Copyright 2022 Codac Team
- License: This program is distributed under the terms of
- the GNU Lesser General Public License (LGPL).