Searched refs:conjunction_var (Results 1 – 1 of 1) sorted by relevance
8040 expr_ty conjunction_var; in disjunction_rule() local8042 (conjunction_var = conjunction_rule(p)) // conjunction in disjunction_rule()8046 _res = conjunction_var; in disjunction_rule()