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 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