org.sat4j

Class BugSAT18

java.lang.Object

org.sat4j.BugSAT18

public class BugSAT18
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT18()

Method Summary

Methods

Modifier and Type	Method and Description
void	setup()
void	testAll()
void	testSingle1()
void	testSingle2()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT18

public BugSAT18()

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

testSingle1

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testSingle2

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException