[gecode-users] next() in flatzinc

[Fred Spiessens]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091014/ddad92e6/attachment.htm>