[gecode-users] How to get the Status of the Solver

[Christian Schulte]

If you need information on how the solution process goes, it might be best
to not use the ::run method but to invoke a search engine manually. Please
see Chapter 2 in Modeling and Programming with Gecode how to do that.

 

Best

Christian

 

--

Christian Schulte, KTH, web.it.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of hamideh izadyar
Sent: Thursday, July 28, 2011 1:09 PM
To: users at gecode.org
Subject: [gecode-users] How to get the Status of the Solver

 

Hi,
I have written my code like this:

  SizeOptions opt("Scheduling");
  opt.size(5);
  opt.solutions(0);

  opt.search(Scheduling::SEARCH_BAB);
  opt.search(Scheduling::SEARCH_DFS, "dfs");
  opt.search(Scheduling::SEARCH_BAB, "bab");
  opt.search(Scheduling::SEARCH_RESTART, "restart");
  opt.parse(argc,argv);

  if (opt.search() == Scheduling::SEARCH_DFS) {
    Script::run<Scheduling, DFS, SizeOptions>(opt);
  } else if (opt.search() == Scheduling::SEARCH_RESTART) {
    MinimizeScript::run<Scheduling, Restart, SizeOptions>(opt);
  } else {
    MinimizeScript::run<Scheduling, BAB, SizeOptions>(opt);

I want to know how can I understand wether the solver founds a solution or
it fails?
Thanks
-- 
-------------------------------------------------------------------------

Hamideh Izadyar
Graduate Student
Computer Engineering Dep.
Sharif University of Technology
http://ce.sharif.edu/~izadyar <http://ce.sharif.edu/%7Eizadyar>  

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20110728/c16333ee/attachment.htm>