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 Description private static org.slf4j.Logger
LOG
The logger used for output in the angerona Frameworkprivate java.lang.String
pre
private CredibilityRevision
revision
-
Constructor Summary
Constructors Constructor Description CredibilityTest()
-
Method Summary
Modifier and Type Method Description void
initTest()
private Program
loadFromJar(java.lang.String filename)
void
testKrue2008Ex1()
void
testKrue2008Ex2()
-
-
-
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
-
-
Method Detail
-
initTest
public void initTest()
-
loadFromJar
private Program loadFromJar(java.lang.String filename)
-
testKrue2008Ex1
public void testKrue2008Ex1()
-
testKrue2008Ex2
public void testKrue2008Ex2()
-
-