Package org.tweetyproject.arg.extended.syntax

Class ExtendedAttack

java.lang.Object

org.tweetyproject.arg.extended.syntax.ExtendedAttack

All Implemented Interfaces:

DungEntity, Formula

public class ExtendedAttack
extends Object
implements DungEntity

Represents an Extended Attack, i.e., an attack from some argument to another (extended) attack or argument

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
ExtendedAttack(Argument attacker, Argument attacked)	Initializes an extended attack from an argument to an argument
ExtendedAttack(Argument attacker, Attack attacked)	Initializes an extended attack from an argument to an attack
ExtendedAttack(Argument attacker, DungEntity attacked)	Constructs an ExtendedAttack object, which represents an extended attack in a Dung argumentation framework.
ExtendedAttack(Argument attacker, ExtendedAttack attacked)	Initializes an extended attack from an argument to an extended attack

Method Summary

Modifier and Type	Method	Description
boolean	contains(Argument argument)	Return true if the given argument is in this attack relation.
boolean	contains(Attack attack)	Determines whether the given attack is contained in this attack
boolean	contains(ExtendedAttack attack)	Determines whether the given attack is contained in this attack
boolean	equals(Object o)
DungEntity	getAttacked()	returns the attacked element of this attack relation.
Argument	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.
Argument	getNodeA()	get first node of the edge
DungEntity	getNodeB()	get target of edge
Signature	getSignature()	Returns the signature of the language of this formula.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

ExtendedAttack

public ExtendedAttack(Argument attacker,
 DungEntity attacked)

Constructs an ExtendedAttack object, which represents an extended attack in a Dung argumentation framework. The attack can target either an argument, a regular attack, or another extended attack.

Parameters:

attacker - The argument that initiates the attack.

attacked - The target of the attack, which can be either an Argument, an Attack, or an ExtendedAttack.

Throws:

IllegalArgumentException - If the target type of the attack is not supported (i.e., not an Argument, Attack, or ExtendedAttack).

ExtendedAttack

public ExtendedAttack(Argument attacker,
 ExtendedAttack attacked)

Initializes an extended attack from an argument to an extended attack

Parameters:

attacker - some argument

attacked - some extended attack

ExtendedAttack

public ExtendedAttack(Argument attacker,
 Attack attacked)

Initializes an extended attack from an argument to an attack

Parameters:

attacker - some argument

attacked - some attack

ExtendedAttack

public ExtendedAttack(Argument attacker,
 Argument attacked)

Initializes an extended attack from an argument to an argument

Parameters:

attacker - some argument

attacked - some argument

Method Details

getNodeA

public Argument getNodeA()

get first node of the edge

Returns:

the first node

getNodeB

public DungEntity getNodeB()

get target of edge

Returns:

edge target

getAttacked

public DungEntity getAttacked()

returns the attacked element of this attack relation.

Returns:

the attacked element of this attack relation.

getAttacker

public Argument getAttacker()

returns the attacking argument of this attack relation.

Returns:

the attacking argument of this attack relation.

contains

public boolean contains(Argument argument)

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

Parameters:

argument - some argument

Returns:

"true" if the given argument is in this attack relation.

contains

public boolean contains(Attack attack)

Determines whether the given attack is contained in this attack

Parameters:

attack - some attack

Returns:

"true" if the given attack is contained in this attack

contains

public boolean contains(ExtendedAttack attack)

Determines whether the given attack is contained in this attack

Parameters:

attack - some extended attack

Returns:

"true" if the given attack is contained in this attack

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.

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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.