org.sat4j.tools
Class TestClausalCardinalitiesBinomialEncoding

java.lang.Object
  org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

public class TestClausalCardinalitiesBinomialEncoding
extends Object

Constructor Summary

TestClausalCardinalitiesBinomialEncoding()

Method Summary

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

TestClausalCardinalitiesBinomialEncoding

public TestClausalCardinalitiesBinomialEncoding()

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