Lines Matching refs:disjunction_var
10682 expr_ty disjunction_var;10684 (disjunction_var = disjunction_rule(p)) // disjunction10688 _res = disjunction_var;19327 expr_ty disjunction_var;19329 (disjunction_var = disjunction_rule(p)) // disjunction19333 _res = disjunction_var;