Searched refs:cnfexprOptimize_AND_OR (Results 1 – 1 of 1) sorted by relevance
4958 cnfexprOptimize_AND_OR(struct cnfexpr *expr) in cnfexprOptimize_AND_OR() function5086 expr = cnfexprOptimize_AND_OR(expr); in cnfexprOptimize()