Lines Matching defs:true_term
9 from syntax import true_term, false_term, mk_num
73 ((mk_rodata (c_imem), c_in), (true_term, c_in))]
75 ieqs = [((mk_rodata (a_imem), a_in), (true_term, c_in))]
80 ((mk_rodata (c_omem), c_out), (true_term, c_out))]
184 preconds = [((a_x, 'ASM_IN'), (true_term, 'ASM_IN')) for a_x in preconds]
470 return true_term
636 if node.kind == 'Cond' and node.cond == true_term:
1024 % (n2, c == syntax.true_term))
1025 if c == syntax.true_term:
1609 if vals[1] in [syntax.true_term, syntax.false_term]:
1611 if vals[0] == syntax.true_term: