net.sf.tweety.logics.ml

Class MleanCoPTest

java.lang.Object

net.sf.tweety.logics.ml.MleanCoPTest

public class MleanCoPTest
extends java.lang.Object

JUnit Test class for MleanCoP.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_TIMEOUT
(package private) ModalParser	parser
(package private) MleanCoPReasoner	prover

Constructor Summary

Constructors

Constructor and Description
MleanCoPTest()

Method Summary

Modifier and Type	Method and Description
void	ComplexQueryTest()
void	init()
void	SimpleQueryTest()

Methods inherited from class java.lang.Object

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

Field Detail

parser

ModalParser parser

prover

MleanCoPReasoner prover

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

MleanCoPTest

public MleanCoPTest()

Method Detail

init

public void init()
          throws ParserException,
                 java.io.IOException

Throws:

ParserException

java.io.IOException

SimpleQueryTest

public void SimpleQueryTest()
                     throws ParserException,
                            java.io.IOException

Throws:

ParserException

java.io.IOException

ComplexQueryTest

public void ComplexQueryTest()
                      throws ParserException,
                             java.io.IOException

Throws:

ParserException

java.io.IOException