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)
