obby::basic_vector_time< time_type > Class Template Reference

#include <vector_time.hpp>

List of all members.

Public Member Functions

 basic_vector_time (time_type local, time_type remote)
bool operator== (const basic_vector_time &other)
bool operator!= (const basic_vector_time &other)
time_type get_local () const
time_type get_remote () const
void inc_local ()
void inc_remote ()

Protected Attributes

time_type m_local
time_type m_remote


Detailed Description

template<typename time_type>
class obby::basic_vector_time< time_type >

Vector time counting both local and remote operation count.

Definition at line 28 of file vector_time.hpp.


Constructor & Destructor Documentation

template<typename time_type>
obby::basic_vector_time< time_type >::basic_vector_time ( time_type  local,
time_type  remote 
)

Definition at line 51 of file vector_time.hpp.


Member Function Documentation

template<typename time_type>
bool obby::basic_vector_time< time_type >::operator== ( const basic_vector_time< time_type > &  other  ) 

Definition at line 57 of file vector_time.hpp.

References obby::basic_vector_time< time_type >::m_local, and obby::basic_vector_time< time_type >::m_remote.

template<typename time_type>
bool obby::basic_vector_time< time_type >::operator!= ( const basic_vector_time< time_type > &  other  ) 

Definition at line 63 of file vector_time.hpp.

References obby::basic_vector_time< time_type >::m_local, and obby::basic_vector_time< time_type >::m_remote.

template<typename time_type>
time_type obby::basic_vector_time< time_type >::get_local (  )  const

Definition at line 69 of file vector_time.hpp.

References obby::basic_vector_time< time_type >::m_local.

Referenced by obby::record< Document >::append_packet(), obby::jupiter_algorithm< Document >::check_preconditions(), and obby::jupiter_algorithm< Document >::discard_operations().

template<typename time_type>
time_type obby::basic_vector_time< time_type >::get_remote (  )  const

Definition at line 75 of file vector_time.hpp.

References obby::basic_vector_time< time_type >::m_remote.

Referenced by obby::record< Document >::append_packet(), obby::jupiter_algorithm< Document >::check_preconditions(), and obby::jupiter_algorithm< Document >::discard_operations().

template<typename time_type>
void obby::basic_vector_time< time_type >::inc_local (  ) 

Definition at line 81 of file vector_time.hpp.

References obby::basic_vector_time< time_type >::m_local.

template<typename time_type>
void obby::basic_vector_time< time_type >::inc_remote (  ) 

Definition at line 87 of file vector_time.hpp.

References obby::basic_vector_time< time_type >::m_remote.

Referenced by obby::jupiter_algorithm< Document >::remote_op().


Member Data Documentation

template<typename time_type>
time_type obby::basic_vector_time< time_type >::m_local [protected]

Definition at line 43 of file vector_time.hpp.

Referenced by obby::basic_vector_time< time_type >::get_local(), obby::basic_vector_time< time_type >::inc_local(), obby::basic_vector_time< time_type >::operator!=(), and obby::basic_vector_time< time_type >::operator==().

template<typename time_type>
time_type obby::basic_vector_time< time_type >::m_remote [protected]

Definition at line 44 of file vector_time.hpp.

Referenced by obby::basic_vector_time< time_type >::get_remote(), obby::basic_vector_time< time_type >::inc_remote(), obby::basic_vector_time< time_type >::operator!=(), and obby::basic_vector_time< time_type >::operator==().


The documentation for this class was generated from the following file:
Generated on Fri Jan 11 10:01:33 2008 for obby by  doxygen 1.5.1