def next(self):
#itr = self._scale.get_value()
for i in range(self._iteration_pos, int(len(self._simulation_data.markings))):
#itr += 1
#self._scale.set_value(int(itr))
for j in range(len(self._pn_data.places)):
if self._simulation_data.markings[i, j] != self._simulation_data.markings[i - 1, j]:
# path vum vorheriga place zum aktuella place
place = self._model.get_data().get_place(self._pn_data.places[j])
place.set_marking(int(self._simulation_data.markings[i, j]))
# update auch labels!!!
if place != None:
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(0, 0, 0)
self._model.get_data().update(item, item.get_key())
self._path_collection = self._model.get_data().get_path(place)
print self._path_collection
self._add_console_text(str(self._path_collection))
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(255, 0, 0)
self._model.get_data().update(item, item.get_key())
#self._frame.add_text("Test", str(self._iteration_pos))
self._frame.refresh()
self._iteration_pos = i + 1
return
def run(self):
#itr = self._scale.get_value()
#while not self.finished.isSet():
# iterator counter + daten speichern und bei jedem klick auf weiter - next
#for i in range(self._iteration_pos, int(len(self._simulation_data.markings))):
for i in range(0, int(len(self._simulation_data.markings))):
#itr += 1
#self._scale.set_value(int(itr))
for j in range(len(self._pn_data.places)):
#time.sleep(1)
print self._simulation_data.markings[i]
if self._simulation_data.markings[
i, j] != self._simulation_data.markings[i - 1, j]:
#print p.places[j]
# path vum vorheriga place zum aktuella place
place = self._model.get_data().get_place(
self._pn_data.places[j])
place.set_marking(int(self._simulation_data.markings[i,
j]))
# update auch labels!!!
if place != None:
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(0, 0, 0)
self._model.get_data().update(
item, item.get_key())
self._path_collection = self._model.get_data(
).get_path(place)
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(255, 0, 0)
self._model.get_data().update(
item, item.get_key())
print "update"
#self._model.notify()
self._frame.refresh()
time.sleep(1)
def next(self):
#itr = self._scale.get_value()
for i in range(self._iteration_pos,
int(len(self._simulation_data.markings))):
#itr += 1
#self._scale.set_value(int(itr))
for j in range(len(self._pn_data.places)):
if self._simulation_data.markings[
i, j] != self._simulation_data.markings[i - 1, j]:
# path vum vorheriga place zum aktuella place
place = self._model.get_data().get_place(
self._pn_data.places[j])
place.set_marking(int(self._simulation_data.markings[i,
j]))
# update auch labels!!!
if place != None:
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(0, 0, 0)
self._model.get_data().update(
item, item.get_key())
self._path_collection = self._model.get_data(
).get_path(place)
print self._path_collection
self._add_console_text(str(self._path_collection))
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(255, 0, 0)
self._model.get_data().update(
item, item.get_key())
#self._frame.add_text("Test", str(self._iteration_pos))
self._frame.refresh()
self._iteration_pos = i + 1
return
def run(self):
#itr = self._scale.get_value()
#while not self.finished.isSet():
# iterator counter + daten speichern und bei jedem klick auf weiter - next
#for i in range(self._iteration_pos, int(len(self._simulation_data.markings))):
for i in range(0, int(len(self._simulation_data.markings))):
#itr += 1
#self._scale.set_value(int(itr))
for j in range(len(self._pn_data.places)):
#time.sleep(1)
print self._simulation_data.markings[i]
if self._simulation_data.markings[i, j] != self._simulation_data.markings[i - 1, j]:
#print p.places[j]
# path vum vorheriga place zum aktuella place
place = self._model.get_data().get_place(self._pn_data.places[j])
place.set_marking(int(self._simulation_data.markings[i, j]))
# update auch labels!!!
if place != None:
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(0, 0, 0)
self._model.get_data().update(item, item.get_key())
self._path_collection = self._model.get_data().get_path(place)
if self._path_collection != None:
for path in self._path_collection:
for item in path:
item.set_rgb_edge(255, 0, 0)
self._model.get_data().update(item, item.get_key())
print "update"
#self._model.notify()
self._frame.refresh()
time.sleep(1)
