SPASSTest

java.lang.Object

org.tweetyproject.logics.ml.SPASSTest

public class SPASSTest extends Object

JUnit Test class for SPASS Prover for modal formulas.

Author:: Anna Gessler

Field Summary

Fields

Modifier and Type

Field

Description

static final 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 Details
- DEFAULT_TIMEOUT
  
  public static final int DEFAULT_TIMEOUT
  See Also:
  
  Constant Field Values
Constructor Details
- SPASSTest
  
  public SPASSTest()
Method Details
- init
  
  public static void init()
- SimpleQueryTest1
  
  public void SimpleQueryTest1() throws FileNotFoundException, ParserException, IOException
  
  Throws:
  
  FileNotFoundException
  
  ParserException
  
  IOException
- SimpleQueryTest2
  
  public void SimpleQueryTest2() throws FileNotFoundException, ParserException, IOException
  
  Throws:
  
  FileNotFoundException
  
  ParserException
  
  IOException
- ComplexQueryTest
  
  public void ComplexQueryTest() throws FileNotFoundException, ParserException, IOException
  
  Throws:
  
  FileNotFoundException
  
  ParserException
  
  IOException