void function ( String arg0 ) { FileInputStream loc0 = new FileInputStream ( arg0 ) ; ObjectInputStream loc1 = new ObjectInputStream ( loc0 ) ; setHistory ( ( Map < Double , Double > ) loc1 . readObject ( ) ) ; loc1 . close ( ) ; }
load history . concode_field_sep Random randomGenerator concode_elem_sep Map<Double,Double> history concode_field_sep double getUtilization concode_elem_sep Map<Double,Double> getHistory concode_elem_sep Random getRandomGenerator concode_elem_sep void setHistory concode_elem_sep void saveHistory concode_elem_sep void setRandomGenerator