org.sat4j.pb

Class BugSAT61

java.lang.Object

org.sat4j.pb.BugSAT61

public class BugSAT61
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT61()

Method Summary

Methods

Modifier and Type	Method and Description
void	testDuplicatedConjuncts()
void	testNoDuplicatedConjuncts()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT61

public BugSAT61()

Method Detail

testDuplicatedConjuncts

public void testDuplicatedConjuncts()
                             throws org.sat4j.reader.ParseFormatException,
                                    org.sat4j.specs.ContradictionException,
                                    org.sat4j.specs.TimeoutException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testNoDuplicatedConjuncts

public void testNoDuplicatedConjuncts()
                               throws org.sat4j.reader.ParseFormatException,
                                      org.sat4j.specs.ContradictionException,
                                      org.sat4j.specs.TimeoutException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException