[gecode-users] Writing a Branching

[Malcolm Ryan]

On 21/11/2007, at 5:37 PM, Mikael Zayenz Lagerkvist wrote:

> On Nov 21, 2007 2:14 AM, Malcolm Ryan <malcolmr at cse.unsw.edu.au>  
> wrote:
>> I need to write my own Branching for my problem. Is there any
>> documentation on how they work? Or are there any examples?
>
> There is a very simple example in examples/QueensJavaPropagator.java.
>
> The best documentation is currently the one supplied with Gecode:
> http://www.gecode.org/gecode-doc-latest/classGecode_1_1Branching.html

Is there a java class which represents the built-in branching (ie the  
one used by Gecode.branching()). I'd like to make make custom  
branching delegate to the builtin in certain circumstances (on a  
particular subset of variables).

Malcolm

--
"Our age is not willing to stop with faith,
     with its miracle of turning water into wine,
         it goes further, it turns wine into water."
             -- Soren Kierkegaard, "Fear and Trembling"