12#ifndef __CODAC_FIGURE_H__
13#define __CODAC_FIGURE_H__
74 const std::string
name()
const;
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