irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
printer.h
Go to the documentation of this file.
1 #ifndef UTILITY_PRINTER_H
2 #define UTILITY_PRINTER_H
3 
4 #include <fmt/format.h>
5 #include <vector>
6 #include <irafhy/representation/geometric/intervalHull.h>
7 
8 namespace irafhy
9 {
10  class Printer
11  {
12  public:
19  static void write(const std::vector<capd::interval>& timeSequence = {},
20  const std::vector<IntervalHull>& intervalHulls = {},
21  const std::string& fileName = "defaultOut.txt");
22  };
23 } // namespace irafhy
24 #endif //UTILITY_PRINTER_H
irafhy::Printer
Definition: printer.h:10
irafhy
Definition: condition.cpp:3
irafhy::Printer::write
static void write(const std::vector< capd::interval > &timeSequence={}, const std::vector< IntervalHull > &intervalHulls={}, const std::string &fileName="defaultOut.txt")
write out the given data to specified file
Definition: printer.cpp:7