Package org.tweetyproject.arg.bipolar.examples

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)