// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimpleTripletValueFactory.java
// public static final ITripletValue _001_instance = new _001();
// 
// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimpleTripletValueFactory.java
// public static final ITripletValue _011_instance = new _011();
// 
// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimpleTripletValueFactory.java
// public static final ITripletValue _101_instance = new _101();


import org.junit.Test;
import static com.anjlab.sat3.SimpleTripletValueFactory._001_instance;
import static com.anjlab.sat3.SimpleTripletValueFactory._011_instance;
import static com.anjlab.sat3.SimpleTripletValueFactory._101_instance;
import static org.junit.Assert.assertTrue;
import org.junit.Assert;
import org.junit.BeforeClass;

        assertTrue(t.isNotA());
        assertTrue(!t.isNotB());
        assertTrue(!t.isNotC());
        
        t = new SimpleTriplet(-1, 2, -3);
        assertTrue(t.isNotA());
        assertTrue(!t.isNotB());
        assertTrue(t.isNotC());
        
        t = new SimpleTriplet(-1, -2, 3);
        assertTrue(t.isNotA());
        assertTrue(t.isNotB());
        assertTrue(!t.isNotC());
        
        t = new SimpleTriplet(-1, -2, -3);
        assertTrue(t.isNotA());
        assertTrue(t.isNotB());
        assertTrue(t.isNotC());
        
    }
    
    @Test
    public void testTransposeTo()
    {
        SimpleTriplet triplet = new SimpleTriplet(1, 2, -3);
//        triplet.add(SimpleTripletValueFactory._001_instance);
        triplet.add(_101_instance);
        triplet.transposeTo(new int[]{ 2, 1, 3 });
        
        Assert.assertEquals(2, triplet.size());

// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimpleTripletValueFactory.java
// public static final ITripletValue _001_instance = new _001();
// 
// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimpleTripletValueFactory.java
// public static final ITripletValue _011_instance = new _011();
// 
// Path: 3-sat-core/src/main/java/com/anjlab/sat3/SimpleTripletValueFactory.java
// public static final ITripletValue _101_instance = new _101();


// Path: 3-sat-core/src/test/java/com/anjlab/sat3/TestSimpleTriplet.java
import org.junit.Test;
import static com.anjlab.sat3.SimpleTripletValueFactory._001_instance;
import static com.anjlab.sat3.SimpleTripletValueFactory._011_instance;
import static com.anjlab.sat3.SimpleTripletValueFactory._101_instance;
import static org.junit.Assert.assertTrue;
import org.junit.Assert;
import org.junit.BeforeClass;

        assertTrue(t.isNotA());
        assertTrue(!t.isNotB());
        assertTrue(!t.isNotC());
        
        t = new SimpleTriplet(-1, 2, -3);
        assertTrue(t.isNotA());
        assertTrue(!t.isNotB());
        assertTrue(t.isNotC());
        
        t = new SimpleTriplet(-1, -2, 3);
        assertTrue(t.isNotA());
        assertTrue(t.isNotB());
        assertTrue(!t.isNotC());
        
        t = new SimpleTriplet(-1, -2, -3);
        assertTrue(t.isNotA());
        assertTrue(t.isNotB());
        assertTrue(t.isNotC());
        
    }
    
    @Test
    public void testTransposeTo()
    {
        SimpleTriplet triplet = new SimpleTriplet(1, 2, -3);
//        triplet.add(SimpleTripletValueFactory._001_instance);
        triplet.add(_101_instance);
        triplet.transposeTo(new int[]{ 2, 1, 3 });
        
        Assert.assertEquals(2, triplet.size());

        assertTrue("Should contain", triplet.contains(_001_instance));
