Searched defs:branch_clause (Results 1 – 2 of 2) sorted by relevance
599 branch_clause (formula& f, clause& c1, tree t) in branch_clause() function
610 branch_clause (formula& f, clause& c1, tree t) in branch_clause() function