AspicExampleFol

java.lang.Object

org.tweetyproject.arg.aspic.examples.AspicExampleFol

public class AspicExampleFol extends Object

Example code for using ASPIC with first-order-logic formulas.

Author:: Anna Gessler

Constructor Summary

Constructors

Constructor

Description

AspicExampleFol()
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
- AspicExampleFol
  
  public AspicExampleFol()
Method Details
- main
  
  public static void main(String[] args) throws ParserException, IOException
  
  Parameters:
  
  args - command line arguments
  
  Throws:
  
  ParserException - exception
  
  IOException - exception