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

Some examples for using FolParser and provers.

Constructor Summary

Constructors

Constructor and Description
FolTest()

Method Summary

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

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

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