Method runMeta

gecode/driver/script.hpp:318–602

  template<class Script, template<class> class Engine, class Options,
           template<class, template<class> class> class Meta>
  void
  ScriptBase<BaseSpace>::runMeta(const Options& o, Script* s) {
    using namespace std;

    ofstream sol_file, log_file;

    ostream& s_out = select_ostream(o.out_file(), sol_file);
    ostream& l_out = select_ostream(o.log_file(), log_file);

    Search::Options so;

    try {
      switch (o.mode()) {
      case SM_GIST:
#ifdef GECODE_HAS_GIST
        {
          Gist::Print<Script> pi(o.name());
          Gist::VarComparator<Script> vc(o.name());
          Gist::Options opt;
          opt.inspect.click(&pi);
          opt.inspect.compare(&vc);
          opt.clone = false;
          opt.c_d   = o.c_d();
          opt.a_d   = o.a_d();
          for (unsigned int i=0; o.inspect.click(i) != nullptr; i++)
            opt.inspect.click(o.inspect.click(i));
          for (unsigned int i=0; o.inspect.solution(i) != nullptr; i++)
            opt.inspect.solution(o.inspect.solution(i));
          for (unsigned int i=0; o.inspect.move(i) != nullptr; i++)
            opt.inspect.move(o.inspect.move(i));
          for (unsigned int i=0; o.inspect.compare(i) != nullptr; i++)
            opt.inspect.compare(o.inspect.compare(i));
          if (s == nullptr)
            s = new Script(o);
          (void) GistEngine<Engine<Script> >::explore(s, opt);
        }
        break;
        // If Gist is not available, goto solution
#else
        goto solution;
#endif
      case SM_SOLUTION:
#ifndef GECODE_HAS_GIST
      solution:
#endif
        {
#ifdef GECODE_HAS_CPPROFILER
          if (o.profiler_port()) {
            CPProfilerSearchTracer::GetInfo* getInfo = nullptr;
            getInfo = new ScriptGetInfo<BaseSpace>;
            so.tracer = new CPProfilerSearchTracer
              (o.profiler_id(), o.name(), o.profiler_port(), getInfo);
          }
#endif
          l_out << o.name() << endl;
          Support::Timer t;
          unsigned long long int s_l =
            (o.solutions() == 0) ? ULLONG_MAX : o.solutions();