api/html/codac2__drawwhilepaving_8h_source.html

#pragma once


#include "codac2_Ctc.h"

#include "codac2_Sep.h"

#include "codac2_Figure2D.h"


namespace codac2

{


  void draw_while_paving(const IntervalVector& x0, std::shared_ptr<const CtcBase<IntervalVector>> c, double eps, std::shared_ptr<Figure2D> fig = nullptr);


  void draw_while_paving(const IntervalVector& x0, const CtcBase<IntervalVector>& c, double eps, std::shared_ptr<Figure2D> fig = nullptr);


  void draw_while_paving(const IntervalVector& x0, std::shared_ptr<const SepBase> s, double eps, std::shared_ptr<Figure2D> fig = nullptr);


  void draw_while_paving(const IntervalVector& x0, const SepBase& s, double eps, std::shared_ptr<Figure2D> fig = nullptr);

}

codac2_Ctc.h

codac2_Figure2D.h

codac2::IntervalVector
Eigen::Matrix< Interval,-1, 1 > IntervalVector
Alias for a dynamic-size column vector of intervals.
Definition codac2_IntervalVector.h:25

codac2_Sep.h

codac2::draw_while_paving
void draw_while_paving(const IntervalVector &x0, std::shared_ptr< const CtcBase< IntervalVector > > c, double eps, std::shared_ptr< Figure2D > fig=nullptr)
Draws the paving while it is being computed.