choco-users Mailing List for choco

IF you have problems to please women prefer large lovemakers...



When buying medicines to enhance erections now, we really should check out...


Please, write URI down in the browser without spaces and hit enter...


getmanhealth 'DOT' com

Bonjour,

j'aurais aimé savoir si l'opérateur modulo était implémenté dans Choco ?

si il existe, pouvez vous m'indiquer comment l'utiliser car je ne l'ai pas
trouvé...

Merci par avance !

Guillaume

Hello,

There must be some issue with the automaton build form the Regexp by  
the package because I found it not reproductible and I don't get any  
exception if I build the list of tuple corresponding to your Regexp.

For example, with : 	String regexp = "(1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5| 
6|7|8|9)(0)(" + k + ")";
I tried to build the list like that :

public static ArrayList<int[]> buildAutomaton(int k) {
	    ArrayList<int[]> tuplelist = new ArrayList<int[]>();
		for (int i = 1; i < 10; i++) {
			for (int j = 0; j < 10; j++) {
				int[] tuple = new int[4];
				tuple[0] = i;
				tuple[1] = j;
				tuple[2] = 0;
				tuple[3] = k;
				tuplelist.add(tuple);
			}
		}
		return tuplelist;
	}

and posting the regular like that :

pb.post(pb.regular(vars,buildAutomaton(k)));

I try to have a look to the automaton produced by the package for the  
Regexp and keep you informed on the forum.

Hadrien

Le 9 Apr 2008 à 14:08, Guillaume Soldera a écrit :

> Hello !
>
> I work on a Java application and I use Choco.
>
> I use the regular constraint with a regular expression. So I use  
> automaton.jar too.
>
> But sometimes my automaton is correctly built but sometimes it  
> doesn't aind I have an ArrayOutOfBoundsException .
>
> This is my code :
>
> public static void main(String[] args) {
>
>
>         JFrame frame = new JFrame("frame");
>         Container c = frame.getContentPane();
>         JPanel panel = new JPanel();
>         JButton bouton = new JButton("appliquer");
>         final JTextField endText = new JTextField(2);
>
>         panel.add(bouton);
>         panel.add(endText);
>
>         c.add(panel);
>         frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
>         frame.pack();
>         frame.setVisible(true);
>
>         bouton.addActionListener(new ActionListener(){
>
>             public void actionPerformed(ActionEvent arg0) {
>                 Problem pb = new Problem();
>                 int longueur = 10;
>
> int n = 4;
>                 IntDomainVar[] vars = new IntDomainVar[n];
>                 for (int i = 0; i < vars.length; i++) {
>                      vars[i] = pb.makeEnumIntVar("v" + i, 0, 9);
>                 }
>                 String regexp = "(1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6| 
> 7|8|9)(0)("+endText.getText()+")";
>                 // post the constraint
>                 pb.post(pb.regular(regexp,vars));
>
>
>
>
>                 pb.solve();
>                 int tour = 0;
>                 if (pb.isFeasible() == Boolean.TRUE) {
>
> do {
>                         int port = 0;
>                          System.out.println("------------ 
> Solution---------");
>                         for (int i = 0; i < pb.getNbIntVars(); i++) {
>                             int valPort = ((IntDomainVar)  
> pb.getIntVar(i))
>                                     .getVal();
>                             double mult = Math.pow(10,  
> pb.getNbIntVars()
>                                     - 1 - i);
>                             port += valPort * mult;
>                              System.err.println("au tour "+tour+"  
> port = "+port+", valPort = "+valPort+", mult ="+mult);
>                              System.out.println(""+pb.getIntVar(i)+  
> " = "+((IntDomainVar)(pb.getIntVar(i))).getVal());
>                         }
>                         //res.add(Integer.valueOf(port));
>                         tour++;
>                     } while (pb.nextSolution() == Boolean.TRUE
>                             && tour < longueur);
> }
> }
> });
>
> }
>
>
> And this is the end of the stack trace :
>
>
> java.lang.ArrayIndexOutOfBoundsException: 4
>     at choco.global.regular.DFA.initializeSpeedUpData(Unknown Source)
>     at choco.global.regular.DFA.<init>(Unknown Source)
>     at choco.AbstractModel.regular(Unknown Source)
>     at test$1.actionPerformed(test.java:64)
>
>
> To use this application, enter one number (1,2,3,4,5,6,7,8 or 9)  
> and click on "appliquer". Click on this button again and again and  
> you look the exception.
>
> If you have a solution or an explication....
>
> Thanks
>
> Guillaume
> ---------------------------------------------------------------------- 
> ---
> This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
> Don't miss this year's exciting event. There's still time to save  
> $100.
> Use priority code J8TL2D2.
> http://ad.doubleclick.net/clk;198757673;13503038;p?http:// 
> java.sun.com/javaone_______________________________________________
> Choco-users mailing list
> Cho...@li...
> https://lists.sourceforge.net/lists/listinfo/choco-users

Hello !

I work on a Java application and I use Choco.

I use the regular constraint with a regular expression. So I use
automaton.jar too.

But sometimes my automaton is correctly built but sometimes it doesn't aind
I have an ArrayOutOfBoundsException .

This is my code :

public static void main(String[] args) {


        JFrame frame = new JFrame("frame");
        Container c = frame.getContentPane();
        JPanel panel = new JPanel();
        JButton bouton = new JButton("appliquer");
        final JTextField endText = new JTextField(2);

        panel.add(bouton);
        panel.add(endText);

        c.add(panel);
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
        frame.pack();
        frame.setVisible(true);

        bouton.addActionListener(new ActionListener(){

            public void actionPerformed(ActionEvent arg0) {
                Problem pb = new Problem();
                int longueur = 10;

int n = 4;
                IntDomainVar[] vars = new IntDomainVar[n];
                for (int i = 0; i < vars.length; i++) {
                     vars[i] = pb.makeEnumIntVar("v" + i, 0, 9);
                }
                String regexp =
"(1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)(0)("+endText.getText()+")";
                // post the constraint
                pb.post(pb.regular(regexp,vars));




                pb.solve();
                int tour = 0;
                if (pb.isFeasible() == Boolean.TRUE) {

do {
                        int port = 0;

 System.out.println("------------Solution---------");
                        for (int i = 0; i < pb.getNbIntVars(); i++) {
                            int valPort = ((IntDomainVar) pb.getIntVar(i))
                                    .getVal();
                            double mult = Math.pow(10, pb.getNbIntVars()
                                    - 1 - i);
                            port += valPort * mult;
                             System.err.println("au tour "+tour+" port =
"+port+", valPort = "+valPort+", mult ="+mult);
                             System.out.println(""+pb.getIntVar(i)+ " =
"+((IntDomainVar)(pb.getIntVar(i))).getVal());
                        }
                        //res.add(Integer.valueOf(port));
                        tour++;
                    } while (pb.nextSolution() == Boolean.TRUE
                            && tour < longueur);
}
}
});

}


And this is the end of the stack trace :


java.lang.ArrayIndexOutOfBoundsException: 4
    at choco.global.regular.DFA.initializeSpeedUpData(Unknown Source)
    at choco.global.regular.DFA.<init>(Unknown Source)
    at choco.AbstractModel.regular(Unknown Source)
    at test$1.actionPerformed(test.java:64)


To use this application, enter one number (1,2,3,4,5,6,7,8 or 9) and click
on "appliquer". Click on this button again and again and you look the
exception.

If you have a solution or an explication....

Thanks

Guillaume