← Back to branch summary

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

« back to all changes in this revision

Viewing changes to libclasp/clasp/heuristics.h

  • 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/clasp/heuristics.h
367
367
        void setDefaultMod(GlobalModifier mod, uint32 prefSet);
368
368
        virtual void startInit(const Solver& s);
369
369
        using BaseType::endInit;
 
370
 
 
371
        const DomScore& score(Var v) const { return score_[v]; }
370
372
protected:
371
373
        // base interface
372
374
        virtual Literal     doSelect(Solver& s);