org.sat4j
Class BugSAT25

java.lang.Object
  org.sat4j.BugSAT25

public class BugSAT25
extends Object

Constructor Summary

BugSAT25()

Method Summary

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 ParseFormatException,
                                         ContradictionException,
                                         IOException

Throws:

ParseFormatException

ContradictionException

IOException

testReaderFromDimacsReader

public void testReaderFromDimacsReader()
                                throws ParseFormatException,
                                       ContradictionException,
                                       IOException,
                                       TimeoutException

Throws:

ParseFormatException

ContradictionException

IOException

TimeoutException

testReaderFromLecteurDimacs

public void testReaderFromLecteurDimacs()
                                 throws ParseFormatException,
                                        ContradictionException,
                                        IOException,
                                        TimeoutException

Throws:

ParseFormatException

ContradictionException

IOException

TimeoutException