net.sf.tweety.logics.pl.test

Class FbInconsistencyMeasureTest

java.lang.Object

net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest

public class FbInconsistencyMeasureTest
extends java.lang.Object

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
(package private) FbInconsistencyMeasure	inc

Constructor Summary

Constructors

Constructor and Description
FbInconsistencyMeasureTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

inc

FbInconsistencyMeasure inc

Constructor Detail

FbInconsistencyMeasureTest

public FbInconsistencyMeasureTest()

Method Detail

setUp

public void setUp()

example1

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

Throws:

ParserException

java.io.IOException

example2

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

Throws:

ParserException

java.io.IOException

example3

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

Throws:

ParserException

java.io.IOException

example4

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

Throws:

ParserException

java.io.IOException