Package org.tweetyproject.logics.cl.test

Class EvaluationTest

java.lang.Object

org.tweetyproject.logics.cl.test.EvaluationTest

public class EvaluationTest
extends Object

Constructor Summary

Constructors

Constructor	Description
EvaluationTest()

Method Summary

Modifier and Type	Method	Description
void	testDisjunctionFact()

Methods inherited from class java.lang.Object

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

Constructor Details

EvaluationTest

public EvaluationTest()

Method Details

testDisjunctionFact

public void testDisjunctionFact()