org.sat4j

Class BugSAT17

java.lang.Object

org.sat4j.BugSAT17

public class BugSAT17
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT17()

Method Summary

Methods

Modifier and Type	Method and Description
void	setup()
void	testAll()
void	testInconsistentLits()
void	testOneSameOneContradictory()
void	testSameLits()
void	testSingleLit()
void	testTwoLits()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT17

public BugSAT17()

Method Detail

setup

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

Throws:

org.sat4j.specs.ContradictionException

testAll

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testSingleLit

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testInconsistentLits

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testTwoLits

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testSameLits

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testOneSameOneContradictory

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException