net.sf.tweety.logics.fol.examples

Class FolExample

java.lang.Object

net.sf.tweety.logics.fol.examples.FolExample

public class FolExample
extends java.lang.Object

Some examples for using FolParser and provers.

Constructor Summary

Constructors

Constructor and Description
FolExample()

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

FolExample

public FolExample()

Method Detail

main

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

Throws:

ParserException

java.io.IOException