returns the highest delivered and received seqnos associated with a member . concode_field_sep long[] seqnos concode_elem_sep Address[] members concode_elem_sep Address member concode_elem_sep int index concode_elem_sep long hr concode_elem_sep long hd concode_field_sep void createArrays concode_elem_sep Entry next concode_elem_sep long serializedSize concode_elem_sep void readFrom concode_elem_sep void readFrom concode_elem_sep long getHighestDeliveredSeqno concode_elem_sep boolean containsAll concode_elem_sep Address getMember concode_elem_sep boolean hasNext concode_elem_sep void remove concode_elem_sep int capacity concode_elem_sep long getHighest concode_elem_sep void writeTo concode_elem_sep void writeTo concode_elem_sep boolean contains concode_elem_sep Iterator<Entry> iterator concode_elem_sep int find concode_elem_sep boolean equals concode_elem_sep boolean equals concode_elem_sep Address[] getMembersRaw concode_elem_sep String toString concode_elem_sep String toString concode_elem_sep String toString concode_elem_sep String toString concode_elem_sep Digest copy concode_elem_sep void checkPostcondition concode_elem_sep long getHighestReceivedSeqno
long [ ] function ( Address arg0 ) { int loc0 = find ( arg0 ) ; if ( loc0 < 0 ) return null ; return new long [ ] { seqnos [ loc0 * 2 ] , seqnos [ loc0 * 2 + 1 ] } ; }