Package org.tweetyproject.logics.fol.test

Class FolParserTest

java.lang.Object

org.tweetyproject.logics.fol.test.FolParserTest

public class FolParserTest
extends Object

JUnit Test class for FolParser.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static final int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
FolParserTest()

Method Summary

Modifier and Type	Method	Description
void	ContradictionTest()
void	EmptyQuantificationTest()
void	EqualityPredicateTest()
void	ImplicationTest()
void	initParser()
void	NestedQuantifiedFormulaTest()
void	ParseBeliefBaseFromFileTest()
void	ParseExistsQuantificationTest()
void	ParseForallQuantificationTest()
void	TautologyTest()
void	WrongArityTest()
void	XorTest()

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

FolParserTest

public FolParserTest()

Method Details

initParser

public void initParser()

ParseForallQuantificationTest

public void ParseForallQuantificationTest()
                                   throws ParserException,
IOException

Throws:

ParserException

IOException

ParseExistsQuantificationTest

public void ParseExistsQuantificationTest()
                                   throws ParserException,
IOException

Throws:

ParserException

IOException

EqualityPredicateTest

public void EqualityPredicateTest()
                           throws ParserException,
IOException

Throws:

ParserException

IOException

TautologyTest

public void TautologyTest()
                   throws ParserException,
IOException

Throws:

ParserException

IOException

ContradictionTest

public void ContradictionTest()
                       throws ParserException,
IOException

Throws:

ParserException

IOException

ImplicationTest

public void ImplicationTest()
                     throws ParserException,
IOException

Throws:

ParserException

IOException

XorTest

public void XorTest()
             throws ParserException,
IOException

Throws:

ParserException

IOException

NestedQuantifiedFormulaTest

public void NestedQuantifiedFormulaTest()
                                 throws ParserException,
IOException

Throws:

ParserException

IOException

ParseBeliefBaseFromFileTest

public void ParseBeliefBaseFromFileTest()
                                 throws ParserException,
IOException

Throws:

ParserException

IOException

EmptyQuantificationTest

public void EmptyQuantificationTest()
                             throws ParserException,
IOException

Throws:

ParserException

IOException

WrongArityTest

public void WrongArityTest()
                    throws ParserException,
IOException

Throws:

ParserException

IOException