Lines Matching defs:logic
15 import logic
16 from logic import azip
173 comps = logic.tarjan (graph, entries)
232 head = logic.get_one_loop_splittable (self,
296 self.preds = logic.compute_preds (self.nodes)
304 var_deps = logic.compute_var_deps (self.nodes,
326 va = logic.compute_loop_var_analysis (self, var_deps, n)
533 if len (details) > 1 and logic.is_int (details[1]):
585 comps = logic.tarjan (graph, ['ENTRY'])
712 return logic.default_val (typ)
757 comps = logic.tarjan (graph, [head])