Lines Matching defs:logic
820 import logic
821 node = logic.simplify_node_elementary (node)
1267 import logic
1268 for (call, sites) in logic.dict_list (post_calls).iteritems ():
1410 import logic
1411 if logic.is_int (typ):
1414 assert logic.is_int (x), x
1424 import logic
1425 if logic.is_int (x):
1456 import logic
1457 if logic.is_int (i):