void function ( RabinAcceptance arg0 ) { arg0 . newAcceptancePairs ( _acc_size_1 + _acc_size_2 ) ; }
prepares the acceptance condition in the result union automaton . if the two automata have k1 and k2 acceptance pairs , this function allocates k1 + k2 acceptance pairs in the result automaton . concode_field_sep RabinAcceptance _acc_2 concode_elem_sep RabinAcceptance _acc_1 concode_elem_sep int _acc_size_2 concode_elem_sep int _acc_size_1 concode_field_sep RabinSignature calculateAcceptance