choco-users Mailing List for choco

I would very much appreciate some help to make this simple program workin=
g.

The program compiles normally but when executed I get :

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: -2
	at choco.bool.AbstractLargeCompositeConstraint.setConstraintIndex(Abstra=
ctLargeCompositeConstraint.java:119)
	at choco.AbstractConstraint.connectVar(AbstractConstraint.java:336)
	at=20
choco.bool.AbstractLargeBoolConstraintWithCounterOpposite.assignIndices(A=
bstractLargeBoolConstraintWithCounterOpposite.java:69)
	at choco.bool.AbstractCompositeConstraint.addListener(AbstractCompositeC=
onstraint.java:47)
	at choco.Problem.post(Problem.java:262)
	at p1.main(p1.java:29)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D


Here is the code :


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
import choco.Problem;
import choco.Constraint;
import choco.integer.IntVar;
import java.util.*;

public class p1 {

     public static void main(String[] args) throws Exception {

	Problem pb =3D new Problem();

	IntVar x =3D pb.makeBoundIntVar("x", 1, 3);
	IntVar y =3D pb.makeBoundIntVar("y", 1, 3);
	IntVar z =3D pb.makeBoundIntVar("z", 1, 3);
	IntVar n =3D pb.makeBoundIntVar("n", 0, 4);

	Constraint c1 =3D pb.neq(x, y);
	Constraint c2 =3D pb.geq(y, z);
	Constraint c3 =3D pb.lt(x,z);

	Constraint[] cs =3D new Constraint[]{c1, c2, c3};

	pb.post( pb.card(cs, n) );
     }
}


Michel Lema=EEtre
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
ONERA/DCSD/CD Centre de Toulouse
2 avenue Edouard Belin - B.P. 4025 - 31055 Toulouse Cedex 4, FRANCE
Tel : +33 (0)5 62 25 26 60    Fax : +33 (0)5 62 25 25 64
Michel . Lemaitre @ cert . fr

Dear All,

  The "++" is probably too much, isn't it ?



  /**
   * retrieving the total number of constraints over integers
   *
   * @return the total number of constraints over integers in the
problem
   */
  public final int getNbIntConstraints() {
    return this.nbConstraint++; //constraints.size();
  }


Happy new year 2006 and best wihes. May your dreams come true=20
(May Choco become the most popular solver in the world ;-)
--
R=C3=A9mi