Package org.tweetyproject.arg.extended.examples

Class RecursiveExtendedTheoryExample

java.lang.Object

org.tweetyproject.arg.extended.examples.RecursiveExtendedTheoryExample

public class RecursiveExtendedTheoryExample
extends Object

This class provides an example demonstrating the usage of Recursive Extended Argumentation Frameworks with standard and extended attacks. The example constructs a recursive extended theory and adds various arguments and attacks, both standard and recursive. It also computes the complete extensions of the theory.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
RecursiveExtendedTheoryExample()	Default constructor for the RecursiveExtendedTheoryExample class.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	The main method demonstrating how to construct a Recursive Extended Theory, add arguments, standard attacks, and extended attacks, and compute the complete extensions.

Methods inherited from class java.lang.Object

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

Constructor Details

RecursiveExtendedTheoryExample

public RecursiveExtendedTheoryExample()

Default constructor for the RecursiveExtendedTheoryExample class. This constructor does not perform any specific initialization but is explicitly provided to adhere to good coding practices.

Method Details

main

public static void main(String[] args)

The main method demonstrating how to construct a Recursive Extended Theory, add arguments, standard attacks, and extended attacks, and compute the complete extensions.

Parameters:

args - command line arguments (not used in this example)