returns an arraylist of all utxos in the pool concode_field_sep HashMap<UTXO,Transaction.Output> H concode_field_sep void removeUTXO concode_elem_sep boolean contains concode_elem_sep void addUTXO concode_elem_sep Transaction.Output getTxOutput
ArrayList < UTXO > function ( ) { Set < UTXO > loc0 = H . keySet ( ) ; ArrayList < UTXO > loc1 = new ArrayList < UTXO > ( ) ; for ( UTXO loc2 : loc0 ) { loc1 . add ( loc2 ) ; } return loc1 ; }