Flow123d
JS_before_hm-1728-g5d7ebd453
|
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 45 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 105 of file time_marks.hh.
|
inline |
Add more bits that a mark satisfies.
type | type that should be modified |
Definition at line 130 of file time_marks.hh.
|
inline |
Getter for mark type.
Definition at line 110 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 124 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 138 of file time_marks.hh.
|
inline |
For unordered maps and sets, hashing.
Definition at line 142 of file time_marks.hh.
|
inline |
Getter for the time of the TimeMark.
Definition at line 115 of file time_marks.hh.
|
friend |
Definition at line 153 of file time_marks.hh.
|
static |
Mark Type with all bits set.
Definition at line 93 of file time_marks.hh.
|
private |
The type of the TimeMark.
Definition at line 151 of file time_marks.hh.
|
static |
Mark Type with all bits unset.
Definition at line 95 of file time_marks.hh.
|
private |
The marked time.
Definition at line 149 of file time_marks.hh.