net.sf.tweety.lp.asp.beliefdynamics.revision

Class CredibilityTest

java.lang.Object

net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest

public class CredibilityTest
extends java.lang.Object

Tests the revision method described in Kruempelmann et al. 2008. The two examples of Kruempelmann et al. 2008 are used.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
private static org.slf4j.Logger	LOG The logger used for output in the angerona Framework
private java.lang.String	pre
private CredibilityRevision	revision

Constructor Summary

Constructors

Constructor and Description
CredibilityTest()

Method Summary

Modifier and Type	Method and Description
void	initTest()
private Program	loadFromJar(java.lang.String filename)
void	testKrue2008Ex1()
void	testKrue2008Ex2()

Methods inherited from class java.lang.Object

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

Field Detail

LOG

private static org.slf4j.Logger LOG

The logger used for output in the angerona Framework

revision

private CredibilityRevision revision

pre

private java.lang.String pre

Constructor Detail

CredibilityTest

public CredibilityTest()

Method Detail

initTest

public void initTest()

loadFromJar

private Program loadFromJar(java.lang.String filename)

testKrue2008Ex1

public void testKrue2008Ex1()

testKrue2008Ex2

public void testKrue2008Ex2()