package org.clafer.ir;

import org.clafer.ir.IrQuickTest.Solution;
import static org.clafer.ir.Irs.*;
import org.junit.Test;
import org.junit.runner.RunWith;
import solver.constraints.Constraint;
import solver.constraints.set.SCF;
import solver.variables.IntVar;
import solver.variables.SetVar;

/**
 *
 * @author jimmy
 */
@RunWith(IrQuickTest.class)
public class IrMemberTest {

    @Test(timeout = 60000)
    public IrBoolExpr setup(IrIntVar element, IrSetVar set) {
        return member(element, set);
    }

    @Solution
    public Constraint setup(IntVar element, SetVar set) {
        return SCF.member(element, set);
    }
}

@@ -17,16 +17,64 @@
 er.ir;%0A%0A
+import org.clafer.choco.constraint.Constraints;%0A
 import o
@@ -241,43 +241,8 @@
 nt;%0A
-import solver.constraints.set.SCF;%0A
 impo
@@ -611,11 +611,19 @@
 urn 
-SCF
+Constraints
 .mem

Test with custom membership constraints.