org.dllearner.test.junit
Class ELDescriptionTreeTests

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

public final class ELDescriptionTreeTests
extends Object

Tests related to EL description tree including operations on them, simulations, equivalence checks, minimisation etc.

Author:

Jens Lehmann

Constructor Summary

ELDescriptionTreeTests()

Method Summary

void	cloneTest()
void	minimalityTest()
void	simulationTest()

Methods inherited from class java.lang.Object

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

Constructor Detail

ELDescriptionTreeTests

public ELDescriptionTreeTests()

Method Detail

simulationTest

public void simulationTest()

minimalityTest

public void minimalityTest()
                    throws ParseException,
                           ComponentInitException

Throws:

ParseException

ComponentInitException

cloneTest

public void cloneTest()
               throws ParseException

Throws:

ParseException