org.sat4j
Class BugSAT17

java.lang.Object
  org.sat4j.BugSAT17

public class BugSAT17
extends Object

Constructor Summary

BugSAT17()

Method Summary

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 ContradictionException

Throws:

ContradictionException

testAll

public void testAll()
             throws ContradictionException,
                    TimeoutException

Throws:

ContradictionException

TimeoutException

testSingleLit

public void testSingleLit()
                   throws ContradictionException,
                          TimeoutException

Throws:

ContradictionException

TimeoutException

testInconsistentLits

public void testInconsistentLits()
                          throws ContradictionException,
                                 TimeoutException

Throws:

ContradictionException

TimeoutException

testTwoLits

public void testTwoLits()
                 throws ContradictionException,
                        TimeoutException

Throws:

ContradictionException

TimeoutException

testSameLits

public void testSameLits()
                  throws ContradictionException,
                         TimeoutException

Throws:

ContradictionException

TimeoutException

testOneSameOneContradictory

public void testOneSameOneContradictory()
                                 throws ContradictionException,
                                        TimeoutException

Throws:

ContradictionException

TimeoutException