org.sat4j.tools
Class TestClausalCardinalitiesBinaryEncoding

java.lang.Object
  org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

public class TestClausalCardinalitiesBinaryEncoding
extends Object

Constructor Summary

TestClausalCardinalitiesBinaryEncoding()

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

TestClausalCardinalitiesBinaryEncoding

public TestClausalCardinalitiesBinaryEncoding()

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