DlReasonerTest

java.lang.Object

org.tweetyproject.logics.dl.test.DlReasonerTest

public class DlReasonerTest extends Object

JUnit Test class for NaiveDLReasoner.

Author:: Anna Gessler

Field Summary

Fields

Modifier and Type

Field

Description

static final int

DEFAULT_TIMEOUT
Constructor Summary

Constructors

Constructor

Description

DlReasonerTest()
Method Summary

Modifier and Type

Method

Description

void

ComplexQueryTest()

void

initParser()

void

SimpleQueryTest()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- DEFAULT_TIMEOUT
  
  public static final int DEFAULT_TIMEOUT
  See Also:
  
  Constant Field Values
Constructor Details
- DlReasonerTest
  
  public DlReasonerTest()
Method Details
- initParser
  
  public void initParser()
- SimpleQueryTest
  
  public void SimpleQueryTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- ComplexQueryTest
  
  public void ComplexQueryTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException