Package org.tweetyproject.arg.dung.examples

Class EquivalenceExample

java.lang.Object

org.tweetyproject.arg.dung.examples.EquivalenceExample

public class EquivalenceExample
extends Object

Example showcasing the use of different equivalence notions for abstract argumentation frameworks.

It compares several notions of equivalence on small sample theories.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
EquivalenceExample()	Creates a new equivalence example.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Runs the example for equivalence of argumentation frameworks.

Methods inherited from class java.lang.Object

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

Constructor Details

EquivalenceExample

public EquivalenceExample()

Creates a new equivalence example.

Method Details

main

public static void main(String[] args)

Runs the example for equivalence of argumentation frameworks.

Parameters:

args - command-line arguments