MleanCoPTest

java.lang.Object

org.tweetyproject.logics.ml.MleanCoPTest

public class MleanCoPTest extends Object

JUnit Test class for the MleanCoP reasoner.

Author:: Anna Gessler

Field Summary

Fields

Modifier and Type

Field

Description

static final int

DEFAULT_TIMEOUT
Constructor Summary

Constructors

Constructor

Description

MleanCoPTest()
Method Summary

Modifier and Type

Method

Description

void

ComplexQueryTest()

void

init()

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
- MleanCoPTest
  
  public MleanCoPTest()
Method Details
- init
  
  public void init() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- SimpleQueryTest
  
  public void SimpleQueryTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- ComplexQueryTest
  
  public void ComplexQueryTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException