Package org.tweetyproject.arg.bipolar.syntax

Class SetSupport

java.lang.Object

org.tweetyproject.graphs.GeneralEdge<BipolarEntity>

org.tweetyproject.graphs.Edge<BipolarEntity>

org.tweetyproject.graphs.DirectedEdge<BipolarEntity>

org.tweetyproject.arg.bipolar.syntax.SetSupport

All Implemented Interfaces:

Iterable<BArgument>, BipolarEntity, Support, DungEntity, Formula, Node

Direct Known Subclasses:

WeightedSetSupport

public class SetSupport
extends DirectedEdge<BipolarEntity>
implements Support

This class models a support between a set of arguments and an argument. It comprises of a set of BArgument and is used by bipolar abstract argumentation theories.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SetSupport(Collection<BArgument> supporter, Collection<BArgument> supported)	initializes the arguments used in this support relation
SetSupport(ArgumentSet supporter, ArgumentSet supported)	Default constructor; initializes the arguments used in this support relation
SetSupport(BArgument supporter, BArgument supported)	initializes the arguments used in this support relation

Method Summary

Modifier and Type	Method	Description
boolean	contains(Object o)	Checks if this entity contains the specified object.
boolean	contains(BArgument argument)	Return true if the given argument is in this support relation.
boolean	equals(Object o)
double	getConditionalProbability()	Returns the conditional probability of the support.
LdoFormula	getLdoFormula()	Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
Signature	getSignature()	Returns the signature of the language of this formula.
BipolarEntity	getSupported()	returns the supported argument of this support relation.
BipolarEntity	getSupporter()	returns the supporting set of arguments of this support relation.
int	hashCode()
Iterator<BArgument>	iterator()
void	setConditionality(double c)	Sets the conditionality of the support, represented by a probability value.
String	toString()	Returns a string representation of the support relation.

Methods inherited from class org.tweetyproject.graphs.Edge

getLabel, getNodeA, getNodeB

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

SetSupport

public SetSupport(ArgumentSet supporter,
 ArgumentSet supported)

Default constructor; initializes the arguments used in this support relation

Parameters:

supporter - the supporting set of arguments

supported - the supported argument

SetSupport

public SetSupport(Collection<BArgument> supporter,
 Collection<BArgument> supported)

initializes the arguments used in this support relation

Parameters:

supporter - a collection of arguments

supported - some argument

SetSupport

public SetSupport(BArgument supporter,
 BArgument supported)

initializes the arguments used in this support relation

Parameters:

supporter - the supporting argument

supported - the supported argument

Method Details

setConditionality

public void setConditionality(double c)

Description copied from interface: Support

Sets the conditionality of the support, represented by a probability value.

The conditionality or strength of the support is represented by a conditional probability value, which reflects how strongly the supporter influences the supported argument.

Specified by:

setConditionality in interface Support

Parameters:

c - the conditional probability of the support

getConditionalProbability

public double getConditionalProbability()

Description copied from interface: Support

Returns the conditional probability of the support.

This method retrieves the conditional probability associated with the support, indicating the strength of the support.

Specified by:

getConditionalProbability in interface Support

Returns:

the conditional probability of the support

getSupported

public BipolarEntity getSupported()

returns the supported argument of this support relation.

Specified by:

getSupported in interface Support

Returns:

the supported argument of this support relation.

getSupporter

public BipolarEntity getSupporter()

returns the supporting set of arguments of this support relation.

Specified by:

getSupporter in interface Support

Returns:

the supporting set of arguments of this support relation.

contains

public boolean contains(BArgument argument)

Return true if the given argument is in this support relation.

Parameters:

argument - some argument

Returns:

true if the given argument is in this support relation.

toString

public String toString()

Description copied from interface: Support

Returns a string representation of the support relation.

This method provides a textual description of the support relation, including information about the supporter, the supported argument, and the conditional probability.

Specified by:

toString in interface Support

Overrides:

toString in class DirectedEdge<BipolarEntity>

Returns:

a string representation of the support relation

equals

public boolean equals(Object o)

Overrides:

equals in class Edge<BipolarEntity>

hashCode

public int hashCode()

Overrides:

hashCode in class Edge<BipolarEntity>

contains

public boolean contains(Object o)

Description copied from interface: BipolarEntity

Checks if this entity contains the specified object.

Specified by:

contains in interface BipolarEntity

Parameters:

o - the object to check for containment, typically a BArgument

Returns:

true if the object is contained within this entity, false otherwise

getLdoFormula

public LdoFormula getLdoFormula()

Description copied from interface: DungEntity

Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])

Specified by:

getLdoFormula in interface DungEntity

Returns:

the logical formula of this entity.

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

iterator

public Iterator<BArgument> iterator()

Specified by:

iterator in interface Iterable<BArgument>