net.sf.tweety.logics.cl.test

Class EvaluationTest

java.lang.Object

net.sf.tweety.logics.cl.test.EvaluationTest

public class EvaluationTest
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
EvaluationTest()

Method Summary

Modifier and Type	Method and Description
void	testDisjunctionFact()

Methods inherited from class java.lang.Object

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

Constructor Detail

EvaluationTest

public EvaluationTest()

Method Detail

testDisjunctionFact

public void testDisjunctionFact()