Lines Matching refs:true_term
11 from syntax import true_term, false_term, mk_num
75 ((mk_rodata (c_imem), c_in), (true_term, c_in))]
77 ieqs = [((mk_rodata (a_imem), a_in), (true_term, c_in))]
82 ((mk_rodata (c_omem), c_out), (true_term, c_out))]
186 preconds = [((a_x, 'ASM_IN'), (true_term, 'ASM_IN')) for a_x in preconds]
472 return true_term
638 if node.kind == 'Cond' and node.cond == true_term:
1026 % (n2, c == syntax.true_term))
1027 if c == syntax.true_term:
1611 if vals[1] in [syntax.true_term, syntax.false_term]:
1613 if vals[0] == syntax.true_term: