Searched refs:right_other_seg_id (Results 1 – 2 of 2) sorted by relevance
67 segment_identifier const& right_other_seg_id = right.operations[other_op_id].seg_id; in use_other_id() local69 if ( left_other_seg_id.multi_index != right_other_seg_id.multi_index ) in use_other_id()71 return left_other_seg_id.multi_index < right_other_seg_id.multi_index; in use_other_id()73 if ( left_other_seg_id.ring_index != right_other_seg_id.ring_index ) in use_other_id()75 return left_other_seg_id.ring_index != right_other_seg_id.ring_index; in use_other_id()77 if ( left_other_seg_id.segment_index != right_other_seg_id.segment_index ) in use_other_id()80 right_other_seg_id.segment_index); in use_other_id()
182 segment_identifier const& right_other_seg_id = right.operations[other_op_id].seg_id; in operator ()() local188 if ( left_other_seg_id.ring_index == right_other_seg_id.ring_index ) in operator ()()217 segment_identifier const& right_other_seg_id = right.operations[other_op_id].seg_id; in operator ()() local223 if ( left_other_seg_id.multi_index == right_other_seg_id.multi_index ) in operator ()()225 if ( left_other_seg_id.ring_index == right_other_seg_id.ring_index ) in operator ()()238 else if ( right_other_seg_id.ring_index == -1 ) in operator ()()