Class CheckIfSelfSupportingExample

java.lang.Object
org.tweetyproject.arg.bipolar.examples.CheckIfSelfSupportingExample
public class CheckIfSelfSupportingExample extends Object
This class demonstrates the use of the EAFTheory class to check for self-supporting sets of arguments.

In this example, an extended argumentation framework (EAF) is created with a set of arguments and supports/attacks between them. The goal is to check whether certain sets of arguments are self-supporting using the checkIsSelfSupporting method of the EAFTheory class.

Author:
Your Name

  • Constructor Summary

    Constructors
    Constructor
    Description
    CheckIfSelfSupportingExample()
    Default constructor for the CheckIfSelfSupportingExample class.

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    The entry point of the example program that sets up an EAFTheory instance, adds arguments, defines supports and attacks, and checks whether various sets of arguments are self-supporting.

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • CheckIfSelfSupportingExample

      public CheckIfSelfSupportingExample()
      Default constructor for the CheckIfSelfSupportingExample class. Initializes an instance of this class, though it currently has no specific initialization logic.

  • Method Details

    • main

      public static void main(String[] args)
      The entry point of the example program that sets up an EAFTheory instance, adds arguments, defines supports and attacks, and checks whether various sets of arguments are self-supporting.
      Parameters:
      args - command-line arguments (not used)