org.sat4j.pb
Class BugSAT21

java.lang.Object
  org.sat4j.pb.BugSAT21

public class BugSAT21
extends Object

Author:

sroussel

Constructor Summary

BugSAT21()

Method Summary

void	testAlMostWithNegativeLiteralsAsText()
void	testAtLeastWithNegativeLiterals()
void	testAtLeastWithNegativeLiteralsAsText()
void	testAtMostWithNegativeLiterals()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT21

public BugSAT21()

Method Detail

testAtLeastWithNegativeLiteralsAsText

public void testAtLeastWithNegativeLiteralsAsText()
                                           throws ContradictionException

Throws:

ContradictionException

testAtLeastWithNegativeLiterals

public void testAtLeastWithNegativeLiterals()
                                     throws ContradictionException,
                                            TimeoutException

Throws:

ContradictionException

TimeoutException

testAlMostWithNegativeLiteralsAsText

public void testAlMostWithNegativeLiteralsAsText()
                                          throws ContradictionException

Throws:

ContradictionException

testAtMostWithNegativeLiterals

public void testAtMostWithNegativeLiterals()
                                    throws ContradictionException,
                                           TimeoutException

Throws:

ContradictionException

TimeoutException