Package org.tweetyproject.arg.bipolar.syntax

Class BArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.arg.bipolar.syntax.BArgument

All Implemented Interfaces:

Comparable<Argument>, Iterable<BArgument>, BipolarEntity, DungEntity, Formula, Node

public class BArgument
extends Argument
implements BipolarEntity

This class models an argument used by bipolar abstract argumentation theories.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
BArgument(String name)	Constructs a new bipolar argument with the specified name.
BArgument(Argument arg)	Constructs a new bipolar argument from an existing argument.

Method Summary

Modifier and Type	Method	Description
boolean	contains(Object arg0)	Checks if this argument is equal to the specified object.
boolean	isSupportedBy(EAFTheory theory, BipolarEntity x)	Checks if this argument is supported by another argument in the given theory.
Iterator<BArgument>	iterator()	Returns an iterator over the arguments in this set.

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument

compareTo, equals, getLdoArgument, getLdoFormula, getName, getSignature, hashCode, setName, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.tweetyproject.arg.dung.syntax.DungEntity

getLdoFormula

Methods inherited from interface org.tweetyproject.commons.Formula

getSignature

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

BArgument

public BArgument(String name)

Constructs a new bipolar argument with the specified name.

Parameters:

name - the name of the argument

BArgument

public BArgument(Argument arg)

Constructs a new bipolar argument from an existing argument.

Parameters:

arg - the argument to be converted

Method Details

contains

public boolean contains(Object arg0)

Checks if this argument is equal to the specified object.

This method checks for equality based on the argument's name.

Specified by:

contains in interface BipolarEntity

Parameters:

arg0 - the object to be compared

Returns:

true if this argument is equal to the specified object; false otherwise

iterator

public Iterator<BArgument> iterator()

Returns an iterator over the arguments in this set.

This method is not implemented for the current class and returns null. In a complete implementation, it would provide an iterator over a collection of arguments.

Specified by:

iterator in interface Iterable<BArgument>

Returns:

an iterator over the arguments

isSupportedBy

public boolean isSupportedBy(EAFTheory theory,
 BipolarEntity x)

Checks if this argument is supported by another argument in the given theory.

This method determines if there exists a support relation in the given EAFTheory where this argument is supported by the specified argument.

Parameters:

theory - the theory in which to check for support

x - the argument that might support this argument

Returns:

true if this argument is supported by the specified argument in the theory; false otherwise