org.dllearner.test.junit
Class ELDescriptionTreeTests

java.lang.Object
  extended by 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


SourceForge.net Logo DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2008 Jens Lehmann