org.sat4j.tools
Class TestClausalCardinalitiesProductEncoding

java.lang.Object
  extended by org.sat4j.tools.TestClausalCardinalitiesProductEncoding

public class TestClausalCardinalitiesProductEncoding
extends Object


Constructor Summary
TestClausalCardinalitiesProductEncoding()
           
 
Method Summary
 void setUp()
           
 void testAtLeast2()
           
 void testAtLeastOne()
           
 void testAtMost2()
           
 void testAtMost4With11Vars()
           
 void testAtMostOne()
           
 void testAtMostOneWith8Vars()
           
 void testExactly2()
           
 void testExactly4With11Vars()
           
 void testExactlyOne()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TestClausalCardinalitiesProductEncoding

public TestClausalCardinalitiesProductEncoding()
Method Detail

setUp

public void setUp()

testAtMostOne

public void testAtMostOne()
                   throws ContradictionException,
                          TimeoutException
Throws:
ContradictionException
TimeoutException

testExactlyOne

public void testExactlyOne()
                    throws ContradictionException,
                           TimeoutException
Throws:
ContradictionException
TimeoutException

testAtLeastOne

public void testAtLeastOne()
                    throws ContradictionException,
                           TimeoutException
Throws:
ContradictionException
TimeoutException

testAtMost2

public void testAtMost2()
                 throws ContradictionException,
                        TimeoutException
Throws:
ContradictionException
TimeoutException

testAtLeast2

public void testAtLeast2()
                  throws ContradictionException,
                         TimeoutException
Throws:
ContradictionException
TimeoutException

testExactly2

public void testExactly2()
                  throws ContradictionException,
                         TimeoutException
Throws:
ContradictionException
TimeoutException

testAtMostOneWith8Vars

public void testAtMostOneWith8Vars()
                            throws ContradictionException,
                                   TimeoutException
Throws:
ContradictionException
TimeoutException

testExactly4With11Vars

public void testExactly4With11Vars()
                            throws ContradictionException,
                                   TimeoutException
Throws:
ContradictionException
TimeoutException

testAtMost4With11Vars

public void testAtMost4With11Vars()
                           throws ContradictionException,
                                  TimeoutException
Throws:
ContradictionException
TimeoutException


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.