/**
 *  Copyright (c) 1999-2011, Ecole des Mines de Nantes
 *  All rights reserved.
 *  Redistribution and use in source and binary forms, with or without
 *  modification, are permitted provided that the following conditions are met:
 *
 *      * Redistributions of source code must retain the above copyright
 *        notice, this list of conditions and the following disclaimer.
 *      * Redistributions in binary form must reproduce the above copyright
 *        notice, this list of conditions and the following disclaimer in the
 *        documentation and/or other materials provided with the distribution.
 *      * Neither the name of the Ecole des Mines de Nantes nor the
 *        names of its contributors may be used to endorse or promote products
 *        derived from this software without specific prior written permission.
 *
 *  THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
 *  EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
 *  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 *  DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
 *  DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 *  (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 *  LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
 *  ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 *  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 *  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
package solver.constraints.binary;

/**
 * <br/>
 *
 * @author Charles Prud'homme
 * @since 12/06/13
 */
public class EqTest {
}

@@ -1663,97 +1663,1207 @@
 y;%0A%0A
-/**%0A * %3Cbr/%3E%0A *%0A * @author Charles Prud'homme%0A * @since 12/06/13%0A */%0Apublic class EqTest %7B
+import junit.framework.Assert;%0Aimport org.testng.annotations.Test;%0Aimport solver.Solver;%0Aimport solver.constraints.ICF;%0Aimport solver.variables.IntVar;%0Aimport solver.variables.VF;%0Aimport util.ESat;%0A%0A/**%0A * %3Cbr/%3E%0A *%0A * @author Charles Prud'homme%0A * @since 12/06/13%0A */%0Apublic class EqTest %7B%0A%0A    @Test%0A    public void test1() %7B%0A        Solver s = new Solver();%0A        IntVar two1 = VF.fixed(2, s);%0A        IntVar two2 = VF.fixed(2, s);%0A        s.post(ICF.arithm(two1, %22=%22, two2));%0A        Assert.assertTrue(s.findSolution());%0A        Assert.assertEquals(ESat.TRUE, s.isEntailed());%0A    %7D%0A%0A%0A    @Test%0A    public void test2() %7B%0A        Solver s = new Solver();%0A        IntVar three = VF.fixed(3, s);%0A        IntVar two = VF.fixed(2, s);%0A        s.post(ICF.arithm(three, %22-%22, two, %22=%22, 1));%0A        Assert.assertTrue(s.findSolution());%0A        Assert.assertEquals(ESat.TRUE, s.isEntailed());%0A    %7D%0A%0A    @Test%0A    public void test3() %7B%0A        Solver s = new Solver();%0A        IntVar three = VF.fixed(3, s);%0A        IntVar two = VF.fixed(2, s);%0A        s.post(ICF.arithm(three, %22=%22, two, %22+%22, 1));%0A        Assert.assertTrue(s.findSolution());%0A        Assert.assertEquals(ESat.TRUE, s.isEntailed());%0A    %7D
 %0A%7D%0A

add test