Hi.
It would be very helpful to have a most trivial example -
maybe a re-implementation of one of the ViewValBranchings? :)
I would be grateful for any additional pointers. Should I look
into Gecode/J maybe to find further examples?
You could have a look at the file QueensJavaPropagator.java
http://www.gecode.org/gecodej/doc/QueensJavaPropagator_8java-source.html
It implements a naive branching, should be fairly easy to understand.
The difference to a C++ branching is not too big.
Also a pointer into to the literature that talks about batch
recomputation
would be great, since I /think/ this is not really explained in any
of http://www.gecode.org/publications.html?
That would be
Components for State Restoration in Tree Search by Chiu Wo Choi,
Martin Henz, and Ka Boon Ng, CP 2001. This is the paper that
introduced the concept, so don't expect the Gecode implementation to
follow it 1:1.
Cheers,
Guido
--
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
