org.sat4j.pb
Class BugSAT61

java.lang.Object
  org.sat4j.pb.BugSAT61

public class BugSAT61
extends Object

Constructor Summary

BugSAT61()

Method Summary

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