codac_sivia.h

Go to the documentation of this file.

 
#ifndef __CODAC_SIVIA_H__
#define __CODAC_SIVIA_H__
 
#include <map>
#include <list>
#include <ibex_Sep.h>
#include "codac_Ctc.h"
#include "codac_VIBesFigPaving.h"
#include "codac_IntervalVector.h"
 
namespace codac
{
 
  std::map<SetValue,std::list<IntervalVector>> 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);
  
  std::map<SetValue,std::list<IntervalVector>> 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);
  
 
  std::map<SetValue,std::list<IntervalVector>> 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);
 
 
}
 
#endif