malar
/
iloads-cyclicity
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

added cycle limit checking

master
Malar Kannan 2017-07-03 12:09:09 +05:30
parent 2a7bb79162
commit f9e23889e9
1 changed files with 24 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
cyclic_contracts.py
View File

@ -56,33 +56,41 @@ class Transporter(object):
for r in c.routes: for r in c.routes:
all_routes.append(r) all_routes.append(r)
if routes_map.has_key(r.src): if routes_map.has_key(r.src):
routes_map[r.src].append(r.dst) routes_map[r.src].append(r)
else: else:
routes_map[r.src]= [r.dst] routes_map[r.src]= [r]
return all_routes,routes_map for r in all_routes:
if not routes_map.has_key(r.dst):
routes_map[r.dst]= []
return routes_map
def is_cyclic(self): def is_cyclic(self):
return circular_dep(self.routes()[1]) return circular_dep(self.routes())
def find_loop(elem,dep_elem,deps,checked=set()): CYCLE_LIMIT = 3
def find_loop(elem,dep_elem,deps,checked,path):
if dep_elem in checked or not deps.has_key(dep_elem): if dep_elem in checked or not deps.has_key(dep_elem):
return (False,len(checked)) return (False,[])
else: else:
checked.add(dep_elem) checked.add(dep_elem)
for c in deps[dep_elem]: for c in deps[dep_elem]:
if elem == c: path.append(c)
return (True,len(checked)) if elem == c.dst and len(path) <= CYCLE_LIMIT:
for c in deps[dep_elem]: return (True,path)
c_loop = find_loop(elem,c,deps,checked) loop_path = find_loop(elem,c.dst,deps,checked,path)
if c_loop[0]: if loop_path[0]:
return c_loop return loop_path
return (False,len(checked)) else:
del(path[-1])
return (False,[])
def circular_dep(deps): def circular_dep(deps):
dep_state = [] dep_state = []
for k in deps.keys(): for k in deps.keys():
circ_dep_k = find_loop(k,k,deps,set()) circ_dep_k = find_loop(k,k,deps,set(),[])
# print path
dep_state.append((k,circ_dep_k)) dep_state.append((k,circ_dep_k))
return dep_state return dep_state
print Transporter.from_file('./contracts_test.txt').is_cyclic() print Transporter.from_file('./contracts.txt').is_cyclic()