12 #ifndef __CODAC_FIGURE_H__ 13 #define __CODAC_FIGURE_H__ 34 Figure(
const std::string& fig_name);
74 const std::string
name()
const;
81 const IntervalVector&
view_box()
const;
121 static const Interval
trunc_inf(
const Interval& x);
132 static const IntervalVector
trunc_inf(
const IntervalVector& x);
137 int m_x = 100, m_y = 100, m_width = 600,
m_height = 300;
138 IntervalVector
m_view_box = IntervalVector(2, Interval::EMPTY_SET);
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9