choco-users Mailing List for choco

Hello all,

I am trying to set the time and node limits of the solver by using the
setTimeLimit(int) and setNodeLimit(int) methods of class Solver.
Unfortunately these methods don't seem to work well (at least in my
program).

I am using this instruction (s is an instance of class Solver):
s.setTimeLimit(1000);

Replacing this by :
s.getSearchSolver().limits.add(new TimeLimit(s.getSearchSolver(), 1000));
seems to work.

Did I misuse or misunderstand the methods setTimeLimit(int) and
setNodeLimit(int) ?
[I am using the CVS version of Choco.]

Thank you in advance !

Regards,
Sylvain Bouveret.

Dear Michel,

indeed, something was wrong in the construction of the
CSP in case of Cardinality constraints (and we should
hve noticed it, had we made a test on this constraint
class).
To repair it, one simply needs to modify the following
two methods in AbstractLargeCompositeConstraint. 

As I don't have access to the CVS server from work, I
am sending the patch by email.
The package will be updated tonight on the site.

(and sorry for the late answer !)

François

------------------
  public void setConstraintIndex(int i, int idx) {
    int constIdx = getSubConstraintIdx(i);
    if ((constIdx == -1)) {
      int varIdx = i - offsets[offsets.length - 1];
      additionalIndices[varIdx] = idx;
    } else {
      int varIdx = (constIdx == 0) ? i : i -
offsets[constIdx - 1];
      constraints[constIdx].setConstraintIndex(varIdx,
idx);
    }
  }

  public int getConstraintIdx(int i) {
    int constIdx = getSubConstraintIdx(i);
    if ((constIdx == -1)) {
      int varIdx = i - offsets[offsets.length - 1];
      return additionalIndices[varIdx];
    } else {
      int varIdx = (constIdx == 0) ? i : i -
offsets[constIdx - 1];
      return
constraints[constIdx].getConstraintIdx(varIdx);
    }
  }
---------------


	

	
		
___________________________________________________________________________ 
Nouveau : téléphonez moins cher avec Yahoo! Messenger ! Découvez les tarifs exceptionnels pour appeler la France et l'international.
Téléchargez sur http://fr.messenger.yahoo.com

Dear All,
  The CVS version of the method choco.integer.IntDomainVar
getConstraint(int i) seems to be bugged:

Bellows is Junit Test to show it.

Shall we now use the getConstraintVector() method ? or will
the getConstraint(int i) be fixed ?

Best regards,
--
Remi


-------------------------------------------------------------
package choco.test.integer;

import java.util.logging.Logger;
import choco.Constraint;
import choco.Problem;
import junit.framework.TestCase;

public class IntDomainVarTest extends TestCase {
    private Logger logger =
Logger.getLogger("choco.test.integer.IntDomainVarTest");
    private Problem pb;
    private choco.integer.IntDomainVar x;
    private choco.integer.IntDomainVar y;
    private Constraint c1;
    private Constraint c2;

    protected void setUp() {
      logger.fine("EqualXC Testing...");
      pb = new Problem();
      x = pb.makeBoundIntVar("X", 1, 5);
      y = pb.makeBoundIntVar("Y", 1, 5);
      c1 = pb.eq(x, 1);
      c2 = pb.eq(x, y);
      pb.post(c1);
      pb.post(c2);
    }

    public void test1() {
      logger.finer("test1");
      assertEquals(x.getNbConstraints(), 2);
      assertEquals(y.getNbConstraints(), 1);
      assertNotNull(x.getConstraint(0));
      assertNotNull(x.getConstraint(1));
      assertNotNull(y.getConstraint(0));
    }
}
-------------------------------------------------------------