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()
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- FolExample
  
  public FolExample()
Method Details
- main
  
  public static void main(String[] args) throws ParserException, IOException
  
  Parameters:
  
  args - arguments
  
  Throws:
  
  ParserException - ParserException
  
  IOException - IOException