codac_SepFunction.h File Reference

#include "ibex_SepFwdBwd.h"
#include "codac_Function.h"
#include "codac_IntervalVector.h"

Include dependency graph for codac_SepFunction.h:

Go to the source code of this file.

Classes
class	codac::SepFunction
	Generic static \(\mathcal{S}\) that separates two boxes according to the constraint \(\mathbf{f}(\mathbf{x})=\mathbf{0}\) or \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\). It stands on the SepFwdBwd of IBEX (involving HC4Revise). More...

Namespaces
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.

Detailed Description

SepFunction class

Date

2022

Author

Simon Rohou

Copyright

Copyright 2022 Codac Team

License: This program is distributed under the terms of

the GNU Lesser General Public License (LGPL).