Searched refs:norm_op (Results 1 – 2 of 2) sorted by relevance
2484 tree norm_op = operands[i].first; in satisfy_disjunction() local2490 satisfy_constraint_r (norm_op, args, info); in satisfy_disjunction()
2805 tree norm_op = operands[i].first; in satisfy_disjunction() local2811 satisfy_constraint_r (norm_op, args, info); in satisfy_disjunction()