// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimplePermutation.java
// public static IPermutation createPermutation(int... variables)
// {
//     IPermutation permutation = new SimplePermutation();
//         
//     for (int varName : variables)
//     {
//         permutation.add(varName);
//     }
//         
//     return permutation;
// }


import static com.anjlab.sat3.SimplePermutation.createPermutation;
import static org.junit.Assert.assertEquals;
import org.junit.Assert;
import org.junit.BeforeClass;
import org.junit.Test;

        Assert.assertEquals(1, stp.getCName());
    }
    
    @Test
    public void testCanonicalName()
    {
        ITripletPermutation stp;
        
        stp = new SimpleTripletPermutation(1, 2, 3);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(1, 3, 2);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(2, 1, 3);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(2, 3, 1);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(3, 1, 2);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(3, 2, 1);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
    }
    
    @Test
    public void testShiftToStart()
    {

// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimplePermutation.java
// public static IPermutation createPermutation(int... variables)
// {
//     IPermutation permutation = new SimplePermutation();
//         
//     for (int varName : variables)
//     {
//         permutation.add(varName);
//     }
//         
//     return permutation;
// }


// Path: 3-sat-core/src/test/java/com/anjlab/sat3/TestSimplePermutation.java
import static com.anjlab.sat3.SimplePermutation.createPermutation;
import static org.junit.Assert.assertEquals;
import org.junit.Assert;
import org.junit.BeforeClass;
import org.junit.Test;

        Assert.assertEquals(1, stp.getCName());
    }
    
    @Test
    public void testCanonicalName()
    {
        ITripletPermutation stp;
        
        stp = new SimpleTripletPermutation(1, 2, 3);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(1, 3, 2);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(2, 1, 3);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(2, 3, 1);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(3, 1, 2);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
        
        stp = new SimpleTripletPermutation(3, 2, 1);
        Assert.assertArrayEquals(new int[] {1, 2, 3}, stp.getCanonicalName());
    }
    
    @Test
    public void testShiftToStart()
    {

        IPermutation permutation = createPermutation(1, 2, 3, 4, 5, 6, 7, 8, 9);
