Package org.tweetyproject.logics.qbf.test

Class QDIMACSTest

java.lang.Object

org.tweetyproject.logics.qbf.test.QDIMACSTest

public class QDIMACSTest
extends Object

Test class for parsing QDIMACS files.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static final int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
QDIMACSTest()

Method Summary

Modifier and Type	Method	Description
void	ComplexBeliefBaseTest()
void	SimpleBeliefBaseTest()

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

• Constant Field Values

Constructor Details

QDIMACSTest

public QDIMACSTest()

Method Details

SimpleBeliefBaseTest

public void SimpleBeliefBaseTest()
                          throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

ComplexBeliefBaseTest

public void ComplexBeliefBaseTest()
                           throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException