Searched refs:disj_expr (Results 1 – 1 of 1) sorted by relevance
2795 cp_expr disj_expr = CONSTR_EXPR (t); in satisfy_disjunction() local2796 inform (disj_expr.get_location (), in satisfy_disjunction()2808 disj_expr.get_start (), in satisfy_disjunction()2809 disj_expr.get_finish ()); in satisfy_disjunction()