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 and Description
static int	DEFAULT_TIMEOUT
(package private) SPASSWriter	printer
(package private) static SPASSModalReasoner	spass

Constructor Summary

Constructors

Constructor and Description
SPASSTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

spass

static SPASSModalReasoner spass

printer

SPASSWriter printer

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