Home
last modified time | relevance | path

Searched refs:end_of_c (Results 1 – 1 of 1) sorted by relevance

/dports/math/cadical/cadical-1.0.3-cb89cbf/src/
H A Dblock.cpp334 const const_literal_iterator end_of_c = c->end (); in block_literal_with_one_negative_occ() local
337 for (l = c->begin (); l != end_of_c; l++) in block_literal_with_one_negative_occ()
353 if (l == end_of_c) { in block_literal_with_one_negative_occ()