Flow123d
DF_profiler_memory_monitor-0108f36
|
#include <output_time_set.hh>
Public Member Functions | |
void | read_from_input (Input::Array in_array, const TimeGovernor &tg) |
void | read_from_input (Input::Array in_array, const TimeGovernor &tg, TimeMark::Type mark_type) |
bool | contains (TimeMark mark) const |
void | add (double begin, TimeMark::Type mark_type) |
void | add (double begin, double step, double end, TimeMark::Type mark_type) |
Static Public Member Functions | |
static const Input::Type::Array | get_input_type () |
Private Attributes | |
std::set< double > | times_ |
Set of times. Simple extension of std::set<double> providing initialization by an array of time grids. TODO: replace by std::set with non-member read and initialize functions.
Finally we store just doubles, since it is like a set of the time marks with same type. So we need not to save the type.
Definition at line 28 of file output_time_set.hh.
void OutputTimeSet::add | ( | double | begin, |
double | step, | ||
double | end, | ||
TimeMark::Type | mark_type | ||
) |
Definition at line 87 of file output_time_set.cc.
void OutputTimeSet::add | ( | double | begin, |
TimeMark::Type | mark_type | ||
) |
bool OutputTimeSet::contains | ( | TimeMark | mark | ) | const |
Definition at line 72 of file output_time_set.cc.
|
static |
void OutputTimeSet::read_from_input | ( | Input::Array | in_array, |
const TimeGovernor & | tg | ||
) |
void OutputTimeSet::read_from_input | ( | Input::Array | in_array, |
const TimeGovernor & | tg, | ||
TimeMark::Type | mark_type | ||
) |
Definition at line 40 of file output_time_set.cc.
|
private |
Definition at line 52 of file output_time_set.hh.