Package org.tweetyproject.logics.fol.examples

Class FolExample

java.lang.Object

org.tweetyproject.logics.fol.examples.FolExample

public class FolExample
extends Object

Some examples for using FolParser and provers.

Constructor Summary

Constructors

Constructor	Description
FolExample()	Constructor

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Main method fpr examples

Methods inherited from class java.lang.Object

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

Constructor Details

FolExample

public FolExample()

Constructor

Method Details

main

public static void main(String[] args)
                 throws ParserException,
IOException

Main method fpr examples

Parameters:

args - arguments

Throws:

ParserException - ParserException

IOException - IOException