org.sat4j.tools

Class TestClausalCardinalitiesBinaryEncoding

java.lang.Object

org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

public class TestClausalCardinalitiesBinaryEncoding
extends Object

Constructor Summary

Constructors

Constructor and Description
TestClausalCardinalitiesBinaryEncoding()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testAtLeast2()
void	testAtLeastOne()
void	testAtMost2()
void	testAtMostOne()
void	testExactly2()
void	testExactlyOne()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TestClausalCardinalitiesBinaryEncoding

public TestClausalCardinalitiesBinaryEncoding()

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