codac_sivia.h File Reference

#include <map>
#include <list>
#include <ibex_Sep.h>
#include "codac_Ctc.h"
#include "codac_VIBesFigPaving.h"
#include "codac_IntervalVector.h"

Include dependency graph for codac_sivia.h:

Go to the source code of this file.

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.

Functions
SIVIA for contractors
std::map< SetValue, std::list< IntervalVector > >	codac::SIVIA (const IntervalVector &x, const IntervalVector &y, Ctc &ctc, float precision, bool regular_paving=false, bool display_result=true, const std::string &fig_name="", bool return_result=false, const SetColorMap &color_map=DEFAULT_SET_COLOR_MAP)
	Executes a SIVIA algorithm from a contractor, and displays the result. SIVIA: Set Inversion Via Interval Analysis.
std::map< SetValue, std::list< IntervalVector > >	codac::SIVIA (const IntervalVector &x, Ctc &ctc, float precision, bool regular_paving=false, bool display_result=true, const std::string &fig_name="", bool return_result=false, const SetColorMap &color_map=DEFAULT_SET_COLOR_MAP)
	Executes a SIVIA algorithm from a contractor, and displays the result. SIVIA: Set Inversion Via Interval Analysis.
SIVIA for separators
std::map< SetValue, std::list< IntervalVector > >	codac::SIVIA (const IntervalVector &x, ibex::Sep &sep, float precision, bool regular_paving=false, bool display_result=true, const std::string &fig_name="", bool return_result=false, const SetColorMap &color_map=DEFAULT_SET_COLOR_MAP)
	Executes a SIVIA algorithm from a separator, and displays the result. SIVIA: Set Inversion Via Interval Analysis.

Detailed Description

SIVIA

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