Searched defs:validate_and (Results 1 – 2 of 2) sorted by relevance
263 void aig_finder::validate_and(literal head, literal_vector const& ands, clause const& c) { in validate_and() function in sat::aig_finder