src/reduce.cpp
// Reason clauses (on non-zero decision level) can not be collected.
// We protect them before and unprotect them after garbage collection.
Reason clauses (on non-zero decision level) can not be collected.
We protect them before and unprotect them after garbage collection.
Reason clauses ( on non - zero decision level ) can not be collected . We protect them before and unprotect them after garbage collection .
void Internal::protect_reasons () {
  for (const_int_iterator i = trail.begin (); i != trail.end (); i++) {
    Var & v = var (*i);
    if (!v.level || !v.reason) continue;
    v.reason->reason = true;
  }
}
void Internal :: protect_reasons ( ) { for ( const_int_iterator i = trail . begin ( ) ; i != trail . end ( ) ; i ++ ) { Var & v = var ( * i ) ; if ( ! v . level || ! v . reason ) continue ; v . reason -> reason = true ; } }
Reason clauses (on non-zero decision level) can not be collected.
Reason clauses ( on non - zero decision level ) can not be collected .