Lines Matching defs:logic
13 import logic
60 if not logic.is_int (i) and i.kind == 'Num':
64 if logic.is_int (i):
73 if j.kind == 'Num' and logic.is_int (i):
90 if logic.is_int (i):
249 return logic.mk_align_valid_ineq (('Type', typ.val), p)
289 if logic.is_int (idx):
368 return logic.mk_align_valid_ineq (('Type', typ.val), p)
443 preds = logic.compute_preds (function.nodes)
444 var_deps = logic.compute_var_deps (function.nodes,