void function ( String arg0 ) { FileOutputStream loc0 = new FileOutputStream ( arg0 ) ; ObjectOutputStream loc1 = new ObjectOutputStream ( loc0 ) ; loc1 . writeObject ( getHistory ( ) ) ; loc1 . close ( ) ; }
save history . concode_field_sep Random randomGenerator concode_elem_sep Map<Double,Double> history concode_field_sep void loadHistory concode_elem_sep double getUtilization concode_elem_sep Map<Double,Double> getHistory concode_elem_sep Random getRandomGenerator concode_elem_sep void setHistory concode_elem_sep void setRandomGenerator