Package net.sf.tweety.logics.ml

Class SPASSTest

java.lang.Object

net.sf.tweety.logics.ml.SPASSTest

public class SPASSTest
extends java.lang.Object

JUnit Test class for SPASS Prover for modal formulas.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
SPASSTest()

Method Summary

Modifier and Type	Method	Description
void	ComplexQueryTest()
static void	init()
void	SimpleQueryTest1()
void	SimpleQueryTest2()

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

SPASSTest

public SPASSTest()

Method Detail

init

public static void init()

SimpleQueryTest1

public void SimpleQueryTest1()
                      throws java.io.FileNotFoundException,
                             ParserException,
                             java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

SimpleQueryTest2

public void SimpleQueryTest2()
                      throws java.io.FileNotFoundException,
                             ParserException,
                             java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

ComplexQueryTest

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

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException