codac 2.0.0
Loading...
Searching...
No Matches
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 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 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 &z, const StyleProperties &style=StyleProperties())
 Draws a zonotope z+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_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
634 {
635 if(_selected_fig == nullptr)
636 _selected_fig = _default_fig;
637 return _selected_fig;
638 }

◆ set()

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

Setter for the default figure.

Parameters
figThe new default figure
646 {
647 _selected_fig = fig;
648 }

◆ set_axes()

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

Setter for the axes of the figure.

Parameters
axis1First axis (horizontal)
axis2Second axis (vertical)
657 {
658 auto_init();
659 return selected_fig()->set_axes(axis1,axis2);
660 }
static std::shared_ptr< Figure2D > selected_fig()
Getter for the default figure.
Definition codac2_Figure2D.h:633

◆ 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
posPosition of the window
sizeSize of the window
669 {
670 auto_init();
671 selected_fig()->set_window_properties(pos,size);
672 }

◆ draw_point()

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

Draws a point on the figure.

Parameters
cCoordinates of the point
styleStyle of the point (edge color and fill color)
701 {
702 auto_init();
703 selected_fig()->draw_point(c,style);
704 }

◆ draw_box()

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

Draws a box on the figure.

Parameters
xBox to draw
styleStyle of the box (edge color and fill color)
713 {
714 auto_init();
715 selected_fig()->draw_box(x,style);
716 }

◆ draw_circle()

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

Draws a circle on the figure.

Parameters
cCenter of the circle
rRadius of the circle
styleStyle of the circle (edge color and fill color)
726 {
727 auto_init();
728 selected_fig()->draw_circle(c,r,style);
729 }

◆ 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
cCenter of the ring
rInner and outer radius of the ring
styleStyle of the ring (edge color and fill color)
739 {
740 auto_init();
741 selected_fig()->draw_ring(c,r,style);
742 }

◆ 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
p1First point of the line
p2Second point of the line
styleStyle of the line (edge color)
752 {
753 auto_init();
754 selected_fig()->draw_line(p1,p2,style);
755 }

◆ draw_line() [2/2]

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

Draws a line on the figure.

Parameters
esegment to be drawn
styleStyle of the line (edge color)
764 {
765 auto_init();
766 selected_fig()->draw_line(e,style);
767 }

◆ 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
p1First point of the arrow
p2Second point of the arrow
tip_lengthLength of the tip of the arrow
styleStyle of the arrow (edge color and fill color)
778 {
779 auto_init();
780 selected_fig()->draw_arrow(p1,p2,tip_length,style);
781 }

◆ 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
xVector of the points of the polyline
styleStyle of the polyline (edge color)
790 {
791 auto_init();
792 selected_fig()->draw_polyline(x,style);
793 }

◆ 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
xVector of the points of the polyline
tip_lengthLength of the tip of the arrow
styleStyle of the polyline (edge color and fill color)
803 {
804 auto_init();
805 selected_fig()->draw_polyline(x,tip_length,style);
806 }

◆ draw_polygon()

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

Draws a Polygon object on the figure.

Parameters
xthe Polygon object to be drawn
styleStyle of the polygone (edge color and fill color)
815 {
816 auto_init();
817 selected_fig()->draw_polygon(x,style);
818 }

◆ 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
pParallelepiped to draw (center and shape matrix)
styleStyle of the parallelepiped (edge color and fill color)
827 {
828 auto_init();
829 selected_fig()->draw_parallelepiped(p,style);
830 }

◆ draw_zonotope()

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

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

Parameters
zZonotope to draw (center and shape matrix)
styleStyle of the zonotope (edge color and fill color)
839 {
840 auto_init();
841 selected_fig()->draw_zonotope(z,style);
842 }

◆ 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
cCenter of the pie
rInner and outer radius of the pie
thetaStart and end angle of the pie (in radians)
styleStyle of the pie (edge color and fill color)
853 {
854 auto_init();
855 selected_fig()->draw_pie(c,r,theta,style);
856 }

◆ 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
cCenter of the ellipse
abHalf-lengths of the ellipse
thetaRotation angle of the ellipse (in radians)
styleStyle of the ellipse (edge color and fill color)
867 {
868 auto_init();
869 selected_fig()->draw_ellipse(c,ab,theta,style);
870 }

◆ draw_ellipsoid()

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

Draws an ellipsoid on the figure.

Parameters
eEllipsoid to draw
styleStyle of the ellipsoid (edge color and fill color)
879 {
880 auto_init();
881 selected_fig()->draw_ellipsoid(e,style);
882 }

◆ 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
xTrajectory to draw
styleStyle of the trajectory (edge color)
891 {
892 auto_init();
893 selected_fig()->draw_trajectory(x,style);
894 }

◆ 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
xAnalyticTraj to draw
styleStyle of the trajectory (edge color)
903 {
904 auto_init();
905 selected_fig()->draw_trajectory(x,style);
906 }

◆ 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
xSampledTraj to draw
styleStyleGradientProperties to use
915 {
916 auto_init();
917 selected_fig()->draw_trajectory(x,style);
918 }

◆ 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
xAnalyticTraj to draw
styleStyleGradientProperties to use
927 {
928 auto_init();
929 selected_fig()->draw_trajectory(x,style);
930 }

◆ plot_trajectory()

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
xSampledTraj to plot
styleStyle of the trajectory (edge color)
939 {
940 auto_init();
941 selected_fig()->plot_trajectory(x,style);
942 }

◆ 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
xSampledTraj<Vector> set of trajectories to plot
styleStyle of the trajectory (edge color)
951 {
952 auto_init();
953 selected_fig()->plot_trajectories(x,style);
954 }

◆ 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
xSlicedTube to draw
styleStyle of the tube
963 {
964 auto_init();
965 selected_fig()->draw_tube(x,style);
966 }

◆ 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
xSlicedTube to draw
styleStyleGradientProperties to use
974 :-1"))
975 {
976 auto_init();
977 selected_fig()->draw_tube(x,style);
978 }

◆ 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
xSlicedTube to plot
styleStyle of the tube (edge color)
987 {
988 auto_init();
989 selected_fig()->plot_tube(x,style);
990 }

◆ 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
xSlicedTube to plot
vderivative tube of the SlicedTube to plot
styleStyle of the tube (edge color)
1001 {
1002 auto_init();
1003 selected_fig()->plot_tube(x,v,style);
1004 }

◆ draw_tank()

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

Draws a tank on the figure.

Parameters
xCoordinates of the tank
sizeSize of the tank
styleStyle of the tank (edge color and fill color)
1016 {
1017 auto_init();
1018 selected_fig()->draw_tank(x,size,style);
1019 }

◆ draw_AUV()

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

Draws an AUV on the figure.

Parameters
xCoordinates of the AUV
sizeSize of the AUV
styleStyle of the AUV (edge color and fill color)
1029 {
1030 auto_init();
1031 selected_fig()->draw_AUV(x,size,style);
1032 }

◆ 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
xCoordinates of the motor boat
sizeSize of the motor boat
styleStyle of the motor boat (edge color and fill color)
1042 {
1043 auto_init();
1044 selected_fig()->draw_motor_boat(x,size,style);
1045 }

◆ 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
textText to display
ulPosition of the top-left corner of the text
scaleScaling of the text (VIBes only)
styleStyle of the text (edge color, layer)
1058 {
1059 auto_init();
1060 selected_fig()->draw_text(text,ul,scale,style);
1061 }

◆ 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
filenameThe name of the file, the path is relative to the VIBes' server folder
bboxThe bounding box of the raster
styleStyle of the raster (only the layer is used)
1071 {
1072 auto_init();
1073 selected_fig()->draw_raster(filename,bbox,style);
1074 }

◆ 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
pPavingOut to draw (result of a paving with contractors)
stylePavingStyle for the drawing
1097 {
1098 if(auto_init())
1099 init_axes_paving(p.tree()->hull());
1100 selected_fig()->draw_paving(p, style);
1101 }

◆ 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
pPavingOut to draw (result of a paving with contractors)
draw_boxCustom drawing function (for instance, if one wants to draw in polar coordinates)
stylePavingStyle for the drawing
1113 {
1114 if(auto_init())
1115 init_axes_paving(p.tree()->hull());
1116 selected_fig()->draw_paving(p, draw_box, style);
1117 }
static void draw_box(const IntervalVector &x, const StyleProperties &style=StyleProperties())
Draws a box on the figure.
Definition codac2_Figure2D.h:712

◆ 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
pPavingInOut to draw (result of a paving with separators)
stylePavingStyle for the drawing
1127 {
1128 if(auto_init())
1129 init_axes_paving(p.tree()->hull());
1130 selected_fig()->draw_paving(p, style);
1131 }

◆ 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
pPavingInOut to draw (result of a paving with separators)
draw_boxCustom drawing function (for instance, if one wants to draw in polar coordinates)
stylePavingStyle for the drawing
1143 {
1144 if(auto_init())
1145 init_axes_paving(p.tree()->hull());
1146 selected_fig()->draw_paving(p, draw_box, style);
1147 }

◆ 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
x0Initial box
cContractor to be paved
epsAccuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
stylePavingStyle for the drawing
1161 {
1162 if(auto_init())
1163 init_axes_paving(x0);
1164 selected_fig()->pave(x0, c, eps, style);
1165 }

◆ 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
x0Initial box
cContractor to be paved
epsAccuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
draw_boxOptional custom drawing function (for instance, if one wants to draw in polar coordinates)
stylePavingStyle for the drawing
1181 {
1182 if(auto_init())
1183 init_axes_paving(x0);
1184 selected_fig()->pave(x0, c, eps, draw_box, style);
1185 }

◆ 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
x0Initial box
sSeparator to be paved
epsAccuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
stylePavingStyle for the drawing
1199 {
1200 if(auto_init())
1201 init_axes_paving(x0);
1202 selected_fig()->pave(x0, s, eps, style);
1203 }

◆ 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
x0Initial box
sSeparator to be paved
epsAccuracy of the paving algorithm (the undefined boxes will have their max_diam <= eps)
draw_boxOptional custom drawing function (for instance, if one wants to draw in polar coordinates)
stylePavingStyle for the drawing
1219 {
1220 if(auto_init())
1221 init_axes_paving(x0);
1222 selected_fig()->pave(x0, s, eps, draw_box, style);
1223 }

◆ 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
pSubpaving to draw
styleStyle of the subpaving
1233 {
1234 auto_init();
1235 selected_fig()->draw_subpaving(p, style);
1236 }

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