[gecode-users] next() in flatzinc

[Fred Spiessens]

Yes, that makes more sense, indeed.
Thanks Guido.

Fred.

Op 14-okt-09, om 11:30 heeft Guido Tack het volgende geschreven:

> 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/21253c52/attachment.htm>