Hi Fred.
There are currently no plans to add that functionality. Actually, the
run method may be in the wrong class, as FlatZincSpace is really just
meant to be a space that you can initialize from FlatZinc. In order
to perform incremental search, just use a DFS search engine as you
would do for any other space. The current run method is more like
what Driver provides (which doesn't have incremental search either,
currently).
Cheers,
Guido
Fred Spiessens wrote:
Hi,
I'm working with flatzinc in gecode 3.2.0.
Is there support planned for incremental search in flatzinc? For
instance by making an incremental version of:
void FlatZincSpace::run(std::ostream& out, const Printer& p, const
FlatZincOptions& opt, Support::Timer& t_total)
something like this:
bool FlatZincSpace::runInitial(std::ostream& out, const Printer& p,
const FlatZincOptions& opt, Support::Timer& t_total)
and:
bool FlatZincSpace::runNext(std::ostream& out, const Printer& p,
const FlatZincOptions& opt, Support::Timer& t_total)
(possibly removing some arguments in the latter)
I wanted to ask before making this available for myself.
I could also help out with this if you want me to, and if you think
it's useful for flatzinc.
cheers,
Fred.
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
