AspicGeneratorExample

java.lang.Object
- net.sf.tweety.arg.aspic.examples.AspicGeneratorExample

```
public class AspicGeneratorExample
extends java.lang.Object
```
Exemplary code illustrating the use of the ASPIC theory generator. Furthermore this code show a small performance comparison between the naive ASPIC reasoner, the module based reasoner, and the random reasoner.

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  AspicGeneratorExample()
- Method Summary
  
  Modifier and Type Method Description
  
  static void main(java.lang.String[] args)
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- AspicGeneratorExample
```
public AspicGeneratorExample()
```

Method Detail

main

public static void main(java.lang.String[] args)