org.dllearner.test.junit
Class RefinementOperatorTests

java.lang.Object
  org.dllearner.test.junit.RefinementOperatorTests

public class RefinementOperatorTests
extends Object

A suite of JUnit tests related to refinement operators.

Author:

Jens Lehmann

Constructor Summary

RefinementOperatorTests()

Method Summary

void	rhoDRDownTest() Applies the RhoDRDown operator to a concept and checks that the number of refinements is correct.
void	rhoDRDownTest2()

Methods inherited from class java.lang.Object

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

Constructor Detail

RefinementOperatorTests

public RefinementOperatorTests()

Method Detail

rhoDRDownTest

public void rhoDRDownTest()

Applies the RhoDRDown operator to a concept and checks that the number of refinements is correct.

rhoDRDownTest2

public void rhoDRDownTest2()
                    throws ParseException

Throws:

ParseException