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_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
642 {
643 if(_selected_fig == nullptr)
644 _selected_fig = _default_fig;
645 return _selected_fig;
646 }

◆ set()

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

Setter for the default figure.

Parameters
figThe new default figure
654 {
655 _selected_fig = fig;
656 }

◆ 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)
665 {
666 auto_init();
667 return selected_fig()->set_axes(axis1,axis2);
668 }
static std::shared_ptr< Figure2D > selected_fig()
Getter for the default figure.
Definition codac2_Figure2D.h:641

◆ 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
677 {
678 auto_init();
679 selected_fig()->set_window_properties(pos,size);
680 }

◆ 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)
709 {
710 auto_init();
711 selected_fig()->draw_point(c,style);
712 }

◆ 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)
721 {
722 auto_init();
723 selected_fig()->draw_box(x,style);
724 }

◆ 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)
734 {
735 auto_init();
736 selected_fig()->draw_circle(c,r,style);
737 }

◆ 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)
747 {
748 auto_init();
749 selected_fig()->draw_ring(c,r,style);
750 }

◆ 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)
760 {
761 auto_init();
762 selected_fig()->draw_line(p1,p2,style);
763 }

◆ 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)
772 {
773 auto_init();
774 selected_fig()->draw_line(e,style);
775 }

◆ 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)
786 {
787 auto_init();
788 selected_fig()->draw_arrow(p1,p2,tip_length,style);
789 }

◆ 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)
798 {
799 auto_init();
800 selected_fig()->draw_polyline(x,style);
801 }

◆ 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)
811 {
812 auto_init();
813 selected_fig()->draw_polyline(x,tip_length,style);
814 }

◆ 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)
823 {
824 auto_init();
825 selected_fig()->draw_polygon(x,style);
826 }

◆ 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)
835 {
836 auto_init();
837 selected_fig()->draw_parallelepiped(p,style);
838 }

◆ 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)
847 {
848 auto_init();
849 selected_fig()->draw_zonotope(z,style);
850 }

◆ 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)
861 {
862 auto_init();
863 selected_fig()->draw_pie(c,r,theta,style);
864 }

◆ 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)
875 {
876 auto_init();
877 selected_fig()->draw_ellipse(c,ab,theta,style);
878 }

◆ 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)
887 {
888 auto_init();
889 selected_fig()->draw_ellipsoid(e,style);
890 }

◆ 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)
899 {
900 auto_init();
901 selected_fig()->draw_trajectory(x,style);
902 }

◆ 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)
911 {
912 auto_init();
913 selected_fig()->draw_trajectory(x,style);
914 }

◆ 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
923 {
924 auto_init();
925 selected_fig()->draw_trajectory(x,style);
926 }

◆ 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
935 {
936 auto_init();
937 selected_fig()->draw_trajectory(x,style);
938 }

◆ 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
xSampledTraj to plot
styleStyle of the trajectory (edge color)
947 {
948 auto_init();
949 selected_fig()->plot_trajectory(x,style);
950 }

◆ 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
xAnalyticTraj to plot
styleStyle of the trajectory (edge color)
959 {
960 auto_init();
961 selected_fig()->plot_trajectory(x,style);
962 }

◆ 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)
971 {
972 auto_init();
973 selected_fig()->plot_trajectories(x,style);
974 }

◆ 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
983 {
984 auto_init();
985 selected_fig()->draw_tube(x,style);
986 }

◆ 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
994 :-1"))
995 {
996 auto_init();
997 selected_fig()->draw_tube(x,style);
998 }

◆ 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)
1007 {
1008 auto_init();
1009 selected_fig()->plot_tube(x,style);
1010 }

◆ 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)
1021 {
1022 auto_init();
1023 selected_fig()->plot_tube(x,v,style);
1024 }

◆ 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)
1036 {
1037 auto_init();
1038 selected_fig()->draw_tank(x,size,style);
1039 }

◆ 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)
1049 {
1050 auto_init();
1051 selected_fig()->draw_AUV(x,size,style);
1052 }

◆ 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)
1062 {
1063 auto_init();
1064 selected_fig()->draw_motor_boat(x,size,style);
1065 }

◆ 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)
1078 {
1079 auto_init();
1080 selected_fig()->draw_text(text,ul,scale,style);
1081 }

◆ 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)
1091 {
1092 auto_init();
1093 selected_fig()->draw_raster(filename,bbox,style);
1094 }

◆ 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
1117 {
1118 if(auto_init())
1119 init_axes_paving(p.tree()->hull());
1120 selected_fig()->draw_paving(p, style);
1121 }

◆ 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
1133 {
1134 if(auto_init())
1135 init_axes_paving(p.tree()->hull());
1136 selected_fig()->draw_paving(p, draw_box, style);
1137 }
static void draw_box(const IntervalVector &x, const StyleProperties &style=StyleProperties())
Draws a box on the figure.
Definition codac2_Figure2D.h:720

◆ 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
1147 {
1148 if(auto_init())
1149 init_axes_paving(p.tree()->hull());
1150 selected_fig()->draw_paving(p, style);
1151 }

◆ 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
1163 {
1164 if(auto_init())
1165 init_axes_paving(p.tree()->hull());
1166 selected_fig()->draw_paving(p, draw_box, style);
1167 }

◆ 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
1181 {
1182 if(auto_init())
1183 init_axes_paving(x0);
1184 selected_fig()->pave(x0, c, eps, style);
1185 }

◆ 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
1201 {
1202 if(auto_init())
1203 init_axes_paving(x0);
1204 selected_fig()->pave(x0, c, eps, draw_box, style);
1205 }

◆ 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
1219 {
1220 if(auto_init())
1221 init_axes_paving(x0);
1222 selected_fig()->pave(x0, s, eps, style);
1223 }

◆ 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
1239 {
1240 if(auto_init())
1241 init_axes_paving(x0);
1242 selected_fig()->pave(x0, s, eps, draw_box, style);
1243 }

◆ 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
1253 {
1254 auto_init();
1255 selected_fig()->draw_subpaving(p, style);
1256 }

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