Package org.tweetyproject.logics.pl.test

Class FbInconsistencyMeasureTest

java.lang.Object

org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest

public class FbInconsistencyMeasureTest
extends Object

Some examples from [Besnard. Forgetting-based Inconsistency Measure. SUM 2016]

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
FbInconsistencyMeasureTest()

Method Summary

Modifier and Type	Method	Description
void	example1()
void	example2()
void	example3()
void	example4()
void	setUp()

Methods inherited from class java.lang.Object

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

Constructor Details

FbInconsistencyMeasureTest

public FbInconsistencyMeasureTest()

Method Details

setUp

public void setUp()

example1

public void example1()
              throws ParserException,
IOException

Throws:

ParserException

IOException

example2

public void example2()
              throws ParserException,
IOException

Throws:

ParserException

IOException

example3

public void example3()
              throws ParserException,
IOException

Throws:

ParserException

IOException

example4

public void example4()
              throws ParserException,
IOException

Throws:

ParserException

IOException