Definition at line 795 of file gui.cpp.
 
◆ domid_comparator()
  
  
      
        
          | gui::domid_comparator::domid_comparator  | 
          ( | 
          bool |           reverse | ) | 
           | 
         
       
   | 
  
inlineexplicit   | 
  
 
 
◆ operator()()
  
  
      
        
          | bool gui::domid_comparator::operator()  | 
          ( | 
          mon_channel const & |           first,  | 
         
        
           | 
           | 
          mon_channel const & |           second ) | 
         
       
   | 
  
inline   | 
  
 
Definition at line 807 of file gui.cpp.
  808  {
  810        ? first.domid() < second.domid()
  811        : first.domid() > second.domid();
  812  }
 
 
 
◆ m_reverse
  
  
      
        
          | bool gui::domid_comparator::m_reverse | 
         
       
   | 
  
private   | 
  
 
 
The documentation for this class was generated from the following file: