11#ifndef __CODAC_THICKPOINT_H__
12#define __CODAC_THICKPOINT_H__
16#ifndef _USE_MATH_DEFINES
17#define _USE_MATH_DEFINES
30#define BOUNDED_INFINITY numeric_limits<float>::max()
42 explicit ThickPoint(
const Vector& p);
43 explicit ThickPoint(
const IntervalVector& p);
44 ThickPoint(
const Interval& x,
const Interval& y);
45 const ThickPoint& operator=(
const ThickPoint& p);
51 const Interval& x()
const;
52 const Interval& y()
const;
53 const Interval& operator[](
size_t id)
const;
54 const IntervalVector& box()
const;
55 const Vector mid()
const;
56 double max_diam()
const;
57 const std::vector<Vector> bounds_pts()
const;
63 bool is_unbounded()
const;
64 bool does_not_exist()
const;
65 bool operator==(
const ThickPoint& p)
const;
66 bool operator!=(
const ThickPoint& p)
const;
72 const ThickPoint& inflate(
double rad);
78 friend std::ostream& operator<<(std::ostream& str,
const ThickPoint& p);
84 static const BoolInterval aligned(
const ThickPoint& a,
const ThickPoint& b,
const ThickPoint& c);
85 static const ThickPoint center(
const std::vector<ThickPoint> v_pts);
86 static void push(
const IntervalVector& box, std::vector<ThickPoint>& v_pts);
87 static void push(
const IntervalVector& box, std::vector<Vector>& v_pts);
88 static std::vector<ThickPoint> to_ThickPoints(
const std::vector<Vector>& v_pts);
89 static std::vector<ThickPoint> remove_identical_pts(
const std::vector<ThickPoint>& v_pts);
90 static std::vector<Vector> remove_identical_pts(
const std::vector<Vector>& v_pts);
98 IntervalVector m_pt = 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