codac2::DefaultFigure Class Reference

Default view class, used to manage the default figure. More...

#include <codac2_Figure2D.h>

Static Public Member Functions
static std::shared_ptr< Figure2D >	selected_fig ()
	Getter for the default figure.
static void	set (std::shared_ptr< Figure2D > fig)
	Setter for the default figure.
static Figure2D &	set_axes (const FigureAxis &axis1, const FigureAxis &axis2)
	Setter for the axes of the figure.
static Figure2D &	set_axes (const IntervalVector &bbox)
	Setter for the axes of the figure.
static void	set_window_properties (const Vector &pos, const Vector &size)
	Setter for the position and size of the window.
static void	auto_scale ()
	VIBes only: auto scale the figure.
static void	clear ()
	Clear the figure.
static void	save (const std::string &filename)
	Saves the figure to a file.
static void	draw_point (const Vector &c, const StyleProperties &style=StyleProperties())
	Draws a point on the figure.
static void	draw_box (const IntervalVector &x, const StyleProperties &style=StyleProperties())
	Draws a box on the figure.
static void	draw_circle (const Vector &c, double r, const StyleProperties &style=StyleProperties())
	Draws a circle on the figure.
static void	draw_ring (const Vector &c, const Interval &r, const StyleProperties &style=StyleProperties())
	Draws a ring on the figure.
static void	draw_line (const Vector &p1, const Vector &p2, const StyleProperties &style=StyleProperties())
	Draws a line on the figure.
static void	draw_line (const Segment &e, const StyleProperties &style=StyleProperties())
	Draws a line on the figure.
static void	draw_arrow (const Vector &p1, const Vector &p2, float tip_length, const StyleProperties &style=StyleProperties())
	Draws an arrow on the figure.
static void	draw_polyline (const std::vector< Vector > &x, const StyleProperties &style=StyleProperties())
	Draws a polyline on the figure.
static void	draw_polyline (const std::vector< Vector > &x, float tip_length, const StyleProperties &style=StyleProperties())
	Draws a polyline on the figure.
static void	draw_polygon (const Polygon &x, const StyleProperties &style=StyleProperties())
	Draws a Polygon object on the figure.
static void	draw_parallelepiped (const Parallelepiped &p, const StyleProperties &style=StyleProperties())
	Draws a parallelepiped z+A*[-1,1]^2 on the figure.
static void	draw_zonotope (const Zonotope &c, const StyleProperties &style=StyleProperties())
	Draws a zonotope c+sum_i [-1,1] A_i on the figure.
static void	draw_pie (const Vector &c, const Interval &r, const Interval &theta, const StyleProperties &style=StyleProperties())
	Draws a pie on the figure.
static void	draw_ellipse (const Vector &c, const Vector &ab, double theta, const StyleProperties &style=StyleProperties())
	Draws an ellipse on the figure.
static void	draw_ellipsoid (const Ellipsoid &e, const StyleProperties &style=StyleProperties())
	Draws an ellipsoid on the figure.
static void	draw_trajectory (const SampledTraj< Vector > &x, const StyleProperties &style=StyleProperties())
	Draws a trajectory on the figure.
static void	draw_trajectory (const AnalyticTraj< VectorType > &x, const StyleProperties &style=StyleProperties())
	Draws a trajectory on the figure.
static void	draw_trajectory (const SampledTraj< Vector > &x, const StyleGradientProperties &style)
	Draws a trajectory on the figure with a colormap.
static void	draw_trajectory (const AnalyticTraj< VectorType > &x, const StyleGradientProperties &style)
	Draws a trajectory on the figure with a colormap.
static void	plot_trajectory (const SampledTraj< double > &x, const StyleProperties &style=StyleProperties())
	Plots a trajectory on the figure (x-axis is the time).
static void	plot_trajectory (const AnalyticTraj< ScalarType > &x, const StyleProperties &style=StyleProperties())
	Plots a trajectory on the figure (x-axis is the time).
static void	plot_trajectories (const SampledTraj< Vector > &x, const StyleProperties &style=StyleProperties())
	Plots a set of trajectories on the figure (x-axis is the time).
static void	draw_tube (const SlicedTube< IntervalVector > &x, const StyleProperties &style)
	Draws a tube of IntervalVector on the figure.
static void	draw_tube (const SlicedTube< IntervalVector > &x, const StyleGradientProperties &style=StyleGradientProperties(ColorMap::blue_tube(), "z:-1"))
	Draws a tube of IntervalVector on the figure with a colormap.
static void	plot_tube (const SlicedTube< Interval > &x, const StyleProperties &style=StyleProperties())
	Plots a tube on the figure (x-axis is the time).
static void	plot_tube (const SlicedTube< Interval > &x, const SlicedTube< Interval > &v, const StyleProperties &style=StyleProperties())
	Plots a tube on the figure (x-axis is the time), with derivative information: slices are displayed as polygons.
static void	draw_tank (const Vector &x, float size, const StyleProperties &style=StyleProperties())
	Draws a tank on the figure.
static void	draw_AUV (const Vector &x, float size, const StyleProperties &style=StyleProperties())
	Draws an AUV on the figure.
static void	draw_motor_boat (const Vector &x, float size, const StyleProperties &style=StyleProperties())
	Draws a motor boat on the figure.
static void	draw_text (const std::string &text, const Vector &ul, double scale, const StyleProperties &style=StyleProperties())
	Draws text on the figure.
static void	draw_raster (const std::string &filename, const IntervalVector &bbox, const StyleProperties &style=StyleProperties())
	Draws a raster on the figure in VIBes only, only the bounding box is drawn in IPE.
static void	draw_paving (const PavingOut &p, const PavingStyle &style=PavingStyle::default_style())
	Draws a previously computed paving (outer approximation) on the figure.
static void	draw_paving (const PavingOut &p, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> &draw_box, const PavingStyle &style=PavingStyle::default_style())
	Draws a previously computed paving (outer approximation) on the figure.
static void	draw_paving (const PavingInOut &p, const PavingStyle &style=PavingStyle::default_style())
	Draws a previously computed paving (inner/outer approximation) on the figure.
static void	draw_paving (const PavingInOut &p, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> &draw_box, const PavingStyle &style=PavingStyle::default_style())
	Draws a previously computed paving (inner/outer approximation) on the figure.
template<typename C>
static void	pave (const IntervalVector &x0, const C &c, double eps, const PavingStyle &style=PavingStyle::default_style())
	Draws a paving from a contractor while it is being computed.
template<typename C>
static void	pave (const IntervalVector &x0, const C &c, double eps, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> &draw_box, const PavingStyle &style=PavingStyle::default_style())
	Draws a paving from a contractor while it is being computed.
template<typename S>
static void	pave (const IntervalVector &x0, const S &s, double eps, const PavingStyle &style=PavingStyle::default_style())
	Draws a paving from a separator while it is being computed.
template<typename S>
static void	pave (const IntervalVector &x0, const S &s, double eps, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> &draw_box, const PavingStyle &style=PavingStyle::default_style())
	Draws a paving from a separator while it is being computed.
template<typename P>
static void	draw_subpaving (const Subpaving< P > &p, const StyleProperties &style=StyleProperties())
	Draws a subpaving on the figure.

Detailed Description

Default view class, used to manage the default figure.

This class is used to manage the default figure. By default it only interacts with VIBes.

Any figure can be set as the default view.

Member Function Documentation

selected_fig()

std::shared_ptr< Figure2D > codac2::DefaultFigure::selected_fig ( )

inlinestatic

Getter for the default figure.

Returns

The default figure

      {
        if(_selected_fig == nullptr)
          _selected_fig = _default_fig;
        return _selected_fig;
      }

set()

void codac2::DefaultFigure::set ( std::shared_ptr< Figure2D > fig )

inlinestatic

Setter for the default figure.

Parameters

fig	The new default figure

      {
        _selected_fig = fig;
      }

set_axes() [1/2]

Figure2D & codac2::DefaultFigure::set_axes ( const FigureAxis & axis1, const FigureAxis & axis2 )

inlinestatic

Setter for the axes of the figure.

Parameters

axis1	First axis (horizontal)
axis2	Second axis (vertical)

      {
        auto_init();
        return selected_fig()->set_axes(axis1,axis2);
      }

set_axes() [2/2]

Figure2D & codac2::DefaultFigure::set_axes ( const IntervalVector & bbox )

inlinestatic

Setter for the axes of the figure.

Parameters

bbox	Bounding box

      {
        auto_init();
        return selected_fig()->set_axes(bbox);
      }

set_window_properties()

void codac2::DefaultFigure::set_window_properties ( const Vector & pos, const Vector & size )

inlinestatic

Setter for the position and size of the window.

Parameters

pos	Position of the window
size	Size of the window

      {
        auto_init();
        selected_fig()->set_window_properties(pos,size);
      }

save()

void codac2::DefaultFigure::save ( const std::string & filename )

inlinestatic

Saves the figure to a file.

Parameters

filename

Name of the file to save the figure to

      {
        auto_init();
        selected_fig()->save(filename);
      }

draw_point()

void codac2::DefaultFigure::draw_point ( const Vector & c, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a point on the figure.

Parameters

c	Coordinates of the point
style	Style of the point (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_point(c,style);
      }

draw_box()

void codac2::DefaultFigure::draw_box ( const IntervalVector & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a box on the figure.

Parameters

x	Box to draw
style	Style of the box (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_box(x,style);
      }

draw_circle()

void codac2::DefaultFigure::draw_circle ( const Vector & c, double r, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a circle on the figure.

Parameters

c	Center of the circle
r	Radius of the circle
style	Style of the circle (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_circle(c,r,style);
      }

draw_ring()

void codac2::DefaultFigure::draw_ring ( const Vector & c, const Interval & r, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a ring on the figure.

Parameters

c	Center of the ring
r	Inner and outer radius of the ring
style	Style of the ring (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_ring(c,r,style);
      }

draw_line() [1/2]

void codac2::DefaultFigure::draw_line ( const Vector & p1, const Vector & p2, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a line on the figure.

Parameters

p1	First point of the line
p2	Second point of the line
style	Style of the line (edge color)

      {
        auto_init();
        selected_fig()->draw_line(p1,p2,style);
      }

draw_line() [2/2]

void codac2::DefaultFigure::draw_line ( const Segment & e, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a line on the figure.

Parameters

e	segment to be drawn
style	Style of the line (edge color)

      {
        auto_init();
        selected_fig()->draw_line(e,style);
      }

draw_arrow()

void codac2::DefaultFigure::draw_arrow ( const Vector & p1, const Vector & p2, float tip_length, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws an arrow on the figure.

Parameters

p1	First point of the arrow
p2	Second point of the arrow
tip_length	Length of the tip of the arrow
style	Style of the arrow (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_arrow(p1,p2,tip_length,style);
      }

draw_polyline() [1/2]

void codac2::DefaultFigure::draw_polyline ( const std::vector< Vector > & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a polyline on the figure.

Parameters

x	Vector of the points of the polyline
style	Style of the polyline (edge color)

      {
        auto_init();
        selected_fig()->draw_polyline(x,style);
      }

draw_polyline() [2/2]

void codac2::DefaultFigure::draw_polyline ( const std::vector< Vector > & x, float tip_length, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a polyline on the figure.

Parameters

x	Vector of the points of the polyline
tip_length	Length of the tip of the arrow
style	Style of the polyline (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_polyline(x,tip_length,style);
      }

draw_polygon()

void codac2::DefaultFigure::draw_polygon ( const Polygon & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a Polygon object on the figure.

Parameters

x	the Polygon object to be drawn
style	Style of the polygone (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_polygon(x,style);
      }

draw_parallelepiped()

void codac2::DefaultFigure::draw_parallelepiped ( const Parallelepiped & p, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a parallelepiped z+A*[-1,1]^2 on the figure.

Parameters

p	Parallelepiped to draw (center and shape matrix)
style	Style of the parallelepiped (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_parallelepiped(p,style);
      }

draw_zonotope()

void codac2::DefaultFigure::draw_zonotope ( const Zonotope & c, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a zonotope c+sum_i [-1,1] A_i on the figure.

Parameters

c	Zonotope to draw (center and shape matrix)
style	Style of the zonotope (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_zonotope(c,style);
      }

draw_pie()

void codac2::DefaultFigure::draw_pie ( const Vector & c, const Interval & r, const Interval & theta, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a pie on the figure.

Parameters

c	Center of the pie
r	Inner and outer radius of the pie
theta	Start and end angle of the pie (in radians)
style	Style of the pie (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_pie(c,r,theta,style);
      }

draw_ellipse()

void codac2::DefaultFigure::draw_ellipse ( const Vector & c, const Vector & ab, double theta, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws an ellipse on the figure.

Parameters

c	Center of the ellipse
ab	Half-lengths of the ellipse
theta	Rotation angle of the ellipse (in radians)
style	Style of the ellipse (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_ellipse(c,ab,theta,style);
      }

draw_ellipsoid()

void codac2::DefaultFigure::draw_ellipsoid ( const Ellipsoid & e, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws an ellipsoid on the figure.

Parameters

e	Ellipsoid to draw
style	Style of the ellipsoid (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_ellipsoid(e,style);
      }

draw_trajectory() [1/4]

void codac2::DefaultFigure::draw_trajectory ( const SampledTraj< Vector > & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a trajectory on the figure.

Parameters

x	Trajectory to draw
style	Style of the trajectory (edge color)

      {
        auto_init();
        selected_fig()->draw_trajectory(x,style);
      }

draw_trajectory() [2/4]

void codac2::DefaultFigure::draw_trajectory ( const AnalyticTraj< VectorType > & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a trajectory on the figure.

Parameters

x	AnalyticTraj to draw
style	Style of the trajectory (edge color)

      {
        auto_init();
        selected_fig()->draw_trajectory(x,style);
      }

draw_trajectory() [3/4]

void codac2::DefaultFigure::draw_trajectory ( const SampledTraj< Vector > & x, const StyleGradientProperties & style )

inlinestatic

Draws a trajectory on the figure with a colormap.

Parameters

x	SampledTraj to draw
style	StyleGradientProperties to use

      {
        auto_init();
        selected_fig()->draw_trajectory(x,style);
      }

draw_trajectory() [4/4]

void codac2::DefaultFigure::draw_trajectory ( const AnalyticTraj< VectorType > & x, const StyleGradientProperties & style )

inlinestatic

Draws a trajectory on the figure with a colormap.

Parameters

x	AnalyticTraj to draw
style	StyleGradientProperties to use

      {
        auto_init();
        selected_fig()->draw_trajectory(x,style);
      }

plot_trajectory() [1/2]

void codac2::DefaultFigure::plot_trajectory ( const SampledTraj< double > & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Plots a trajectory on the figure (x-axis is the time).

Parameters

x	SampledTraj to plot
style	Style of the trajectory (edge color)

      {
        auto_init();
        selected_fig()->plot_trajectory(x,style);
      }

plot_trajectory() [2/2]

void codac2::DefaultFigure::plot_trajectory ( const AnalyticTraj< ScalarType > & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Plots a trajectory on the figure (x-axis is the time).

Parameters

x	AnalyticTraj to plot
style	Style of the trajectory (edge color)

      {
        auto_init();
        selected_fig()->plot_trajectory(x,style);
      }

plot_trajectories()

void codac2::DefaultFigure::plot_trajectories ( const SampledTraj< Vector > & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Plots a set of trajectories on the figure (x-axis is the time).

Parameters

x	SampledTraj<Vector> set of trajectories to plot
style	Style of the trajectory (edge color)

      {
        auto_init();
        selected_fig()->plot_trajectories(x,style);
      }

draw_tube() [1/2]

void codac2::DefaultFigure::draw_tube ( const SlicedTube< IntervalVector > & x, const StyleProperties & style )

inlinestatic

Draws a tube of IntervalVector on the figure.

Parameters

x	SlicedTube to draw
style	Style of the tube

      {
        auto_init();
        selected_fig()->draw_tube(x,style);
      }

draw_tube() [2/2]

void codac2::DefaultFigure::draw_tube ( const SlicedTube< IntervalVector > & x, const StyleGradientProperties & style = StyleGradientProperties(ColorMap::blue_tube(), "z:-1") )

inlinestatic

Draws a tube of IntervalVector on the figure with a colormap.

Parameters

x	SlicedTube to draw
style	StyleGradientProperties to use

                                                                                                                                                     :-1"))
      {
        auto_init();
        selected_fig()->draw_tube(x,style);
      }

plot_tube() [1/2]

void codac2::DefaultFigure::plot_tube ( const SlicedTube< Interval > & x, const StyleProperties & style = StyleProperties() )

inlinestatic

Plots a tube on the figure (x-axis is the time).

Parameters

x	SlicedTube to plot
style	Style of the tube (edge color)

      {
        auto_init();
        selected_fig()->plot_tube(x,style);
      }

plot_tube() [2/2]

void codac2::DefaultFigure::plot_tube ( const SlicedTube< Interval > & x, const SlicedTube< Interval > & v, const StyleProperties & style = StyleProperties() )

inlinestatic

Plots a tube on the figure (x-axis is the time), with derivative information: slices are displayed as polygons.

Parameters

x	SlicedTube to plot
v	derivative tube of the SlicedTube to plot
style	Style of the tube (edge color)

      {
        auto_init();
        selected_fig()->plot_tube(x,v,style);
      }

draw_tank()

void codac2::DefaultFigure::draw_tank ( const Vector & x, float size, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a tank on the figure.

Parameters

x	Coordinates of the tank
size	Size of the tank
style	Style of the tank (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_tank(x,size,style);
      }

draw_AUV()

void codac2::DefaultFigure::draw_AUV ( const Vector & x, float size, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws an AUV on the figure.

Parameters

x	Coordinates of the AUV
size	Size of the AUV
style	Style of the AUV (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_AUV(x,size,style);
      }

draw_motor_boat()

void codac2::DefaultFigure::draw_motor_boat ( const Vector & x, float size, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a motor boat on the figure.

Parameters

x	Coordinates of the motor boat
size	Size of the motor boat
style	Style of the motor boat (edge color and fill color)

      {
        auto_init();
        selected_fig()->draw_motor_boat(x,size,style);
      }

draw_text()

void codac2::DefaultFigure::draw_text ( const std::string & text, const Vector & ul, double scale, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws text on the figure.

Parameters

text	Text to display
ul	Position of the top-left corner of the text
scale	Scaling of the text (VIBes only)
style	Style of the text (edge color, layer)

      {
        auto_init();
        selected_fig()->draw_text(text,ul,scale,style);
      }

draw_raster()

void codac2::DefaultFigure::draw_raster ( const std::string & filename, const IntervalVector & bbox, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a raster on the figure in VIBes only, only the bounding box is drawn in IPE.

Parameters

filename	The name of the file, the path is relative to the VIBes' server folder
bbox	The bounding box of the raster
style	Style of the raster (only the layer is used)

      {
        auto_init();
        selected_fig()->draw_raster(filename,bbox,style);
      }

draw_paving() [1/4]

void codac2::DefaultFigure::draw_paving ( const PavingOut & p, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a previously computed paving (outer approximation) on the figure.

Parameters

p	PavingOut to draw (result of a paving with contractors)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(p.tree()->hull());
        selected_fig()->draw_paving(p, style);
      }

draw_paving() [2/4]

void codac2::DefaultFigure::draw_paving ( const PavingOut & p, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> & draw_box, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a previously computed paving (outer approximation) on the figure.

Parameters

p	PavingOut to draw (result of a paving with contractors)
draw_box	Custom drawing function (for instance, if one wants to draw in polar coordinates)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(p.tree()->hull());
        selected_fig()->draw_paving(p, draw_box, style);
      }

draw_paving() [3/4]

void codac2::DefaultFigure::draw_paving ( const PavingInOut & p, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a previously computed paving (inner/outer approximation) on the figure.

Parameters

p	PavingInOut to draw (result of a paving with separators)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(p.tree()->hull());
        selected_fig()->draw_paving(p, style);
      }

draw_paving() [4/4]

void codac2::DefaultFigure::draw_paving ( const PavingInOut & p, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> & draw_box, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a previously computed paving (inner/outer approximation) on the figure.

Parameters

p	PavingInOut to draw (result of a paving with separators)
draw_box	Custom drawing function (for instance, if one wants to draw in polar coordinates)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(p.tree()->hull());
        selected_fig()->draw_paving(p, draw_box, style);
      }

pave() [1/4]

template<typename C>

void codac2::DefaultFigure::pave ( const IntervalVector & x0, const C & c, double eps, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a paving from a contractor while it is being computed.

Parameters

x0	Initial box
c	Contractor to be paved
eps	Accuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(x0);
        selected_fig()->pave(x0, c, eps, style);
      }

pave() [2/4]

template<typename C>

void codac2::DefaultFigure::pave ( const IntervalVector & x0, const C & c, double eps, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> & draw_box, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a paving from a contractor while it is being computed.

Parameters

x0	Initial box
c	Contractor to be paved
eps	Accuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
draw_box	Optional custom drawing function (for instance, if one wants to draw in polar coordinates)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(x0);
        selected_fig()->pave(x0, c, eps, draw_box, style);
      }

pave() [3/4]

template<typename S>

void codac2::DefaultFigure::pave ( const IntervalVector & x0, const S & s, double eps, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a paving from a separator while it is being computed.

Parameters

x0	Initial box
s	Separator to be paved
eps	Accuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(x0);
        selected_fig()->pave(x0, s, eps, style);
      }

pave() [4/4]

template<typename S>

void codac2::DefaultFigure::pave ( const IntervalVector & x0, const S & s, double eps, const std::function< void(Figure2D &, const IntervalVector &, const StyleProperties &)> & draw_box, const PavingStyle & style = PavingStyle::default_style() )

inlinestatic

Draws a paving from a separator while it is being computed.

Parameters

x0	Initial box
s	Separator to be paved
eps	Accuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
draw_box	Optional custom drawing function (for instance, if one wants to draw in polar coordinates)
style	PavingStyle for the drawing

      {
        if(auto_init())
          init_axes_paving(x0);
        selected_fig()->pave(x0, s, eps, draw_box, style);
      }

draw_subpaving()

template<typename P>

void codac2::DefaultFigure::draw_subpaving ( const Subpaving< P > & p, const StyleProperties & style = StyleProperties() )

inlinestatic

Draws a subpaving on the figure.

Parameters

p	Subpaving to draw
style	Style of the subpaving

      {
        auto_init();
        selected_fig()->draw_subpaving(p, style);
      }

---

The documentation for this class was generated from the following file:

• /home/simon/codac/src/graphics/figures/codac2_Figure2D.h