[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.

Thanks. It seems pretty simple. Does the Branching always have to  
copy the variables it is given when it is created? Vis:

     public Naive(Space home, VarArray<IntVar> x0) {
         x = new ViewArray<IntVarView>(home, IntVarView.class, x0);
     }

Malcolm

--
"If there is one thing worse than the modern weakening of major morals
    it is the modern strengthening of minor morals.
Thus it is considered more withering to accuse a man
    of bad taste than of bad ethics."    -- G.K.Chesterton, On Lying  
in Bed