Package org.tweetyproject.arg.bipolar.syntax

Class BinaryAttack

java.lang.Object

org.tweetyproject.graphs.GeneralEdge<BArgument>

org.tweetyproject.graphs.Edge<BArgument>

org.tweetyproject.graphs.DirectedEdge<BArgument>

org.tweetyproject.arg.bipolar.syntax.BinaryAttack

All Implemented Interfaces:

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

public class BinaryAttack
extends DirectedEdge<BArgument>
implements Attack

This class models a binary attack relation between two arguments. It comprises of two attributes of Argument and is used by abstract argumentation theories.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
BinaryAttack(BArgument attacker, BArgument attacked)	Default constructor; initializes the two arguments used in this attack relation

Method Summary

Modifier and Type	Method	Description
boolean	contains(Object o)	Checks if this entity contains the specified object.
boolean	equals(Object o)
BArgument	getAttacked()	returns the attacked argument of this attack relation.
BArgument	getAttacker()	returns the attacking argument of this attack relation.
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.
int	hashCode()
Iterator<BArgument>	iterator()
String	toString()	Provides a string representation of the attack.

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

BinaryAttack

public BinaryAttack(BArgument attacker,
 BArgument attacked)

Default constructor; initializes the two arguments used in this attack relation

Parameters:

attacker - the supporting argument

attacked - the supported argument

Method Details

getAttacked

public BArgument getAttacked()

returns the attacked argument of this attack relation.

Specified by:

getAttacked in interface Attack

Returns:

the attacked argument of this attack relation.

getAttacker

public BArgument getAttacker()

returns the attacking argument of this attack relation.

Specified by:

getAttacker in interface Attack

Returns:

the attacking argument of this attack relation.

toString

public String toString()

Description copied from interface: Attack

Provides a string representation of the attack.

This method returns a string that describes the attack relation, typically including the identities of the attacker and the attacked entity.

Specified by:

toString in interface Attack

Overrides:

toString in class DirectedEdge<BArgument>

Returns:

a string representation of the attack

equals

public boolean equals(Object o)

Overrides:

equals in class Edge<BArgument>

hashCode

public int hashCode()

Overrides:

hashCode in class Edge<BArgument>

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>