← Back to branch summary

~ubuntu-branches/ubuntu/wily/clasp/wily

« back to all changes in this revision

Viewing changes to libclasp/src/cb_enumerator.cpp

  • Committer: Package Import Robot
  • Author(s): Thomas Krennwallner
  • Date: 2015-05-12 07:18:25 UTC
  • mfrom: (20.1.12 sid)
  • Revision ID: package-import@ubuntu.com-20150512071825-vlgtxbw5245d6wni
Tags: 3.1.2-1
* Imported Upstream version 3.1.2
* Fix dep5-copyright-license-name-not-unique and
  missing-license-paragraph-in-dep5-copyright lintian warnings.

Show diffs side-by-side

added added

removed removed

Lines of Context:
libclasp/src/cb_enumerator.cpp
148
148
// CBConsequences::CBFinder implementation
149
149
/////////////////////////////////////////////////////////////////////////////////////////
150
150
void CBConsequences::CBFinder::destroy(Solver* s, bool detach) {
151
 
        while (!locked.empty()) {
152
 
                static_cast<ClauseHead*>(locked.back())->destroy(s, detach);
153
 
                locked.pop_back();
154
 
        }
 
151
        destroyDB(locked, s, detach);
155
152
        if (last) {
156
153
                last->release();
157
154
        }