org.sat4j.tools

Class TestClausalCardinalitiesProductEncoding

java.lang.Object

org.sat4j.tools.TestClausalCardinalitiesProductEncoding

public class TestClausalCardinalitiesProductEncoding
extends Object

Constructor Summary

Constructors

Constructor and Description
TestClausalCardinalitiesProductEncoding()

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.ContradictionException,
                          org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testExactlyOne

public void testExactlyOne()
                    throws org.sat4j.specs.ContradictionException,
                           org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAtLeastOne

public void testAtLeastOne()
                    throws org.sat4j.specs.ContradictionException,
                           org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAtMost2

public void testAtMost2()
                 throws org.sat4j.specs.ContradictionException,
                        org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAtLeast2

public void testAtLeast2()
                  throws org.sat4j.specs.ContradictionException,
                         org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testExactly2

public void testExactly2()
                  throws org.sat4j.specs.ContradictionException,
                         org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAtMostOneWith8Vars

public void testAtMostOneWith8Vars()
                            throws org.sat4j.specs.ContradictionException,
                                   org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testExactly4With11Vars

public void testExactly4With11Vars()
                            throws org.sat4j.specs.ContradictionException,
                                   org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAtMost4With11Vars

public void testAtMost4With11Vars()
                           throws org.sat4j.specs.ContradictionException,
                                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException