[gecode-users] next() in flatzinc

[Guido Tack]

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
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091014/23340ba4/attachment.htm>