Package net.sf.tweety.logics.qbf.test

Class QCIRTest

java.lang.Object

net.sf.tweety.logics.qbf.test.QCIRTest

public class QCIRTest
extends java.lang.Object

Test class for parsing QCIR files.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
QCIRTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

QCIRTest

public QCIRTest()

Method Detail

SimpleBeliefBaseTest

public void SimpleBeliefBaseTest()
                          throws java.io.FileNotFoundException,
                                 ParserException,
                                 java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

ComplexBeliefBaseTest

public void ComplexBeliefBaseTest()
                           throws java.io.FileNotFoundException,
                                  ParserException,
                                  java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

SingleFormulasTest

public void SingleFormulasTest()
                        throws ParserException,
                               java.io.IOException

Throws:

ParserException

java.io.IOException