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)