org.sat4j

Class BugSAT25

java.lang.Object

org.sat4j.BugSAT25

public class BugSAT25
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT25()

Method Summary

Methods

Modifier and Type	Method and Description
void	testReaderFromDimacsReader()
void	testReaderFromInstanceReader()
void	testReaderFromLecteurDimacs()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT25

public BugSAT25()

Method Detail

testReaderFromInstanceReader

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReaderFromDimacsReader

public void testReaderFromDimacsReader()
                                throws org.sat4j.reader.ParseFormatException,
                                       org.sat4j.specs.ContradictionException,
                                       IOException,
                                       org.sat4j.specs.TimeoutException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

org.sat4j.specs.TimeoutException

testReaderFromLecteurDimacs

public void testReaderFromLecteurDimacs()
                                 throws org.sat4j.reader.ParseFormatException,
                                        org.sat4j.specs.ContradictionException,
                                        IOException,
                                        org.sat4j.specs.TimeoutException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

org.sat4j.specs.TimeoutException