net.sf.tweety.logics.fol.test

Class FolTest

java.lang.Object

net.sf.tweety.logics.fol.test.FolTest

public class FolTest
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
FolTest()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
static void	test()

Methods inherited from class java.lang.Object

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

Constructor Detail

FolTest

public FolTest()

Method Detail

test

public static void test()
                 throws ParserException,
                        java.io.IOException

Throws:

ParserException

java.io.IOException

main

public static void main(java.lang.String[] args)
                 throws java.io.FileNotFoundException,
                        ParserException,
                        java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException