org.sat4j

Class BugSAT26

java.lang.Object

org.sat4j.BugSAT26

public class BugSAT26
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT26()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testConsecutiveCallToSolver()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT26

public BugSAT26()

Method Detail

setUp

public void setUp()
           throws FileNotFoundException,
                  org.sat4j.reader.ParseFormatException,
                  IOException,
                  org.sat4j.specs.ContradictionException

Throws:

FileNotFoundException

org.sat4j.reader.ParseFormatException

IOException

org.sat4j.specs.ContradictionException

testConsecutiveCallToSolver

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException