org.sat4j.pb

Class BugSAT21

java.lang.Object

org.sat4j.pb.BugSAT21

public class BugSAT21
extends Object

Author:

sroussel

Constructor Summary

Constructors

Constructor and Description
BugSAT21()

Method Summary

Methods

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

Throws:

org.sat4j.specs.ContradictionException

testAtLeastWithNegativeLiterals

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlMostWithNegativeLiteralsAsText

public void testAlMostWithNegativeLiteralsAsText()
                                          throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testAtMostWithNegativeLiterals

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException