Searched refs:decompose_consequents (Results 1 – 2 of 2) sorted by relevance
702 decompose_consequents (tree t) in decompose_consequents() function885 formula cnf = decompose_consequents (rhs); in subsumes_constraints_nonnull()
1949 (decompose_consequents): Remove.