def write_prism_model(self,file_name): TopMapMdp.write_prism_model(self, file_name) f = open(file_name,'r') f_aux=open(file_name + '_aux','w') at_labels = False while not at_labels: line=f.readline() f_aux.write(line) if 'label "' in line: at_labels = True for prop_string in self.object_found_prop_strings: f_aux.write(prop_string) for line in f: f_aux.write(line) f.close() f_aux.close() f = open(file_name,'w') f_aux=open(file_name + '_aux','r') for line in f_aux: f.write(line) f.close() f_aux.close()
def __init__(self,top_map_name, object_list, waypoints_matrix, probs_matrix, costs_matrix): TopMapMdp.__init__(self, top_map_name) self.object_found_prop_strings = [] self.add_objects(object_list, waypoints_matrix, probs_matrix, costs_matrix)