Definition at line 795 of file gui.cpp.
gui::domid_comparator::domid_comparator |
( |
bool |
reverse | ) |
|
|
inlineexplicit |
bool gui::domid_comparator::operator() |
( |
mon_channel const & |
first, |
|
|
mon_channel const & |
second |
|
) |
| |
|
inline |
Definition at line 807 of file gui.cpp.
810 ?
first.domid() < second.domid()
811 :
first.domid() > second.domid();
then echo The file $DIR KM3NeT_00000001_00000000 root already please rename or remove it first
bool gui::domid_comparator::m_reverse |
|
private |
The documentation for this class was generated from the following file: