Flow123d
release_2.2.0-34-g18a8075
|
Class used for marking specified times at which some events occur. More...
#include <time_marks.hh>
Classes | |
struct | Type |
Public Member Functions | |
TimeMark (double time, Type type) | |
Type | mark_type () const |
Getter for mark type. More... | |
double | time () const |
Getter for the time of the TimeMark. More... | |
bool | match_mask (const TimeMark::Type &mask) const |
void | add_to_type (const TimeMark::Type &type) |
bool | operator< (const TimeMark &another) const |
bool | operator== (const TimeMark &other_mark) const |
For unordered maps and sets, hashing. More... | |
Static Public Attributes | |
static const Type | every_type = TimeMark::Type(~0x0, std::numeric_limits<unsigned char>::min() ) |
Mark Type with all bits set. More... | |
static const Type | none_type = TimeMark::Type(0x0, std::numeric_limits<unsigned char>::max() ) |
Mark Type with all bits unset. More... | |
Private Attributes | |
double | time_ |
The marked time. More... | |
Type | mark_type_ |
The type of the TimeMark. More... | |
Friends | |
class | TimeMarks |
Class used for marking specified times at which some events occur.
This class represents one record in the TimeMarks simple database. Class members can not be modified after the item is created.
Definition at line 36 of file time_marks.hh.
|
inline |
Constructor for a TimeMarks::Mark
time | time of the mark |
type | type of the mark |
In order to create a fixed TimeMark (at time=0.1) with base TimeMark::Type my_type, use the TimeMarks class: TimeMark( 0.1, timemarks.type_fixed_time() | my_type)
Definition at line 96 of file time_marks.hh.
|
inline |
Add more bits that a mark satisfies.
type | type that should be modified |
Definition at line 121 of file time_marks.hh.
|
inline |
Getter for mark type.
Definition at line 101 of file time_marks.hh.
|
inline |
Returns true if TimeMark's type has 1 on all positions where mask has 1.
mask | {Select bits that should be 1 for matching mark types. |
Definition at line 115 of file time_marks.hh.
|
inline |
Comparison of time marks according to their time.
another | is another Timemark which should be compared. |
Definition at line 129 of file time_marks.hh.
|
inline |
For unordered maps and sets, hashing.
Definition at line 133 of file time_marks.hh.
|
inline |
Getter for the time of the TimeMark.
Definition at line 106 of file time_marks.hh.
|
friend |
Definition at line 144 of file time_marks.hh.
|
static |
Mark Type with all bits set.
Definition at line 84 of file time_marks.hh.
|
private |
The type of the TimeMark.
Definition at line 142 of file time_marks.hh.
|
static |
Mark Type with all bits unset.
Definition at line 86 of file time_marks.hh.
|
private |
The marked time.
Definition at line 140 of file time_marks.hh.