11#ifndef __CODAC_DATALOADER_H__
12#define __CODAC_DATALOADER_H__
18#include "codac_Beacon.h"
27 DataLoader(
const std::string& file_path);
30 void load_data(TubeVector *&x,
31 TrajectoryVector *&truth,
33 const Interval& tdomain = Interval::ALL_REALS);
35 bool serialized_data_available()
const;
36 void deserialize_data(TubeVector *&x, TrajectoryVector *&traj)
const;
37 void serialize_data(
const TubeVector& x,
const TrajectoryVector& traj)
const;
39 static std::vector<Beacon> generate_landmarks(
const IntervalVector& map_box,
int nb_landmarks = 100);
40 static std::vector<IntervalVector> generate_landmarks_boxes(
const IntervalVector& map_box,
int nb_landmarks = 100);
41 static std::vector<IntervalVector> generate_observations(
43 const std::vector<Beacon>& map,
45 const Interval& visi_range = Interval::POS_REALS,
46 const Interval& visi_angle = Interval::ALL_REALS);
47 static std::vector<IntervalVector> generate_observations(
49 const std::vector<IntervalVector>& map,
51 const Interval& visi_range = Interval::POS_REALS,
52 const Interval& visi_angle = Interval::ALL_REALS);
53 static std::vector<IntervalVector> generate_observations(
54 const TrajectoryVector& x,
55 const std::vector<Beacon>& map,
58 const Interval& visi_range = Interval(0.,50.),
59 const Interval& visi_angle = Interval(-M_PI/4.,M_PI/4.),
60 const Interval& tdomain = Interval::ALL_REALS);
61 static std::vector<IntervalVector> generate_observations(
62 const TrajectoryVector& x,
63 const std::vector<IntervalVector>& map,
66 const Interval& visi_range = Interval(0.,50.),
67 const Interval& visi_angle = Interval(-M_PI/4.,M_PI/4.),
68 const Interval& tdomain = Interval::ALL_REALS);
69 static std::vector<IntervalVector> generate_static_observations(
71 const std::vector<IntervalVector>& map,
73 const Interval& visi_range = Interval::POS_REALS,
74 const Interval& visi_angle = Interval::ALL_REALS);
75 static std::vector<IntervalVector> generate_observations_along_traj(
76 const TrajectoryVector& x,
77 const std::vector<IntervalVector>& map,
80 const Interval& visi_range = Interval(0.,50.),
81 const Interval& visi_angle = Interval(-M_PI/4.,M_PI/4.),
82 const Interval& tdomain = Interval::ALL_REALS);
86 std::string m_file_path;
87 std::ifstream *m_datafile =
nullptr;
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9