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

Class QbfTest

java.lang.Object

net.sf.tweety.logics.qbf.test.QbfTest

public class QbfTest
extends java.lang.Object

Test class for basic qbf functionalities.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
QbfTest()

Method Summary

Modifier and Type	Method	Description
void	ParseNestedQuantifiedFormulaTest()
void	ParseQuantifiedFormulaTest()
void	TypesTest()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

QbfTest

public QbfTest()

Method Detail

TypesTest

public void TypesTest()

ParseQuantifiedFormulaTest

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

Throws:

ParserException

java.io.IOException

ParseNestedQuantifiedFormulaTest

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

Throws:

ParserException

java.io.IOException