Lines Matching defs:Edge
213 edge = Edge(self.subG, source, target)
221 edge.transition,
222 self.__generate_entrypoints(edge),
223 edge.setexec,
224 edge.dyntransition,
225 edge.setcurrent)
246 def __generate_entrypoints(edge):
261 for e in edge.entrypoint:
262 yield entrypoint_output(e, edge.entrypoint[e], edge.execute[e], edge.type_transition[e])
287 edge = Edge(self.subG, source, target)
298 edge.transition,
299 self.__generate_entrypoints(edge),
300 edge.setexec,
301 edge.dyntransition,
302 edge.setcurrent)
326 # 2. if process transition or dyntransition, create edge,
339 # edge's lists if there is either a
348 # to the edge's list, else add to invalid
351 # 1. if the edge has an invalid trans and dyntrans, delete
352 # the edge.
353 # 2. if the edge has an invalid trans, clear the related
354 # lists on the edge.
355 # 3. if the edge has an invalid dyntrans, clear the related
356 # lists on the edge.
389 edge = Edge(self.G, s, t, create=True)
390 edge.transition.append(rule)
397 e = Edge(self.G, s, t, create=True)
432 edge = Edge(self.G, s, t)
436 if edge.transition:
451 edge.entrypoint[m] += entrypoint[t][m]
452 edge.execute[m] += execute[s][m]
455 edge.type_transition[m] += type_trans[s][m][t]
458 edge.setexec.extend(setexec[s])
460 edge.setexec and not edge.type_transition:
465 if edge.dyntransition:
467 edge.setcurrent.extend(setcurrent[s])
476 invalid_edge.append(edge)
478 clear_transition.append(edge)
480 clear_dyntransition.append(edge)
484 for edge in clear_transition:
487 del edge.transition
488 del edge.execute
489 del edge.entrypoint
490 del edge.type_transition
491 del edge.setexec
492 for edge in clear_dyntransition:
495 del edge.dyntransition
496 del edge.setcurrent
505 edge = Edge(self.subG, source, target)
506 entrypoints = set(edge.entrypoint)
512 # this edge.
517 del edge.entrypoint[e]
518 del edge.execute[e]
521 del edge.type_transition[e]
526 if not edge.entrypoint and not edge.dyntransition:
527 invalid_edges.append(edge)
556 class Edge(object):
559 A graph edge. Also used for returning domain transition steps.
562 source The source type of the edge.
563 target The target tyep of the edge.
566 create (T/F) create the edge if it does not exist.
591 raise ValueError("Edge does not exist in graph")
