Searched refs:decompose_formula (Results 1 – 2 of 2) sorted by relevance
681 decompose_formula (formula& f, rules r) in decompose_formula() function694 decompose_formula (f, left); in decompose_antecedents()705 decompose_formula (f, right); in decompose_consequents()
1947 (decompose_formula): Remove.