Package org.tweetyproject.arg.setaf.syntax

Class SetAttack

java.lang.Object

org.tweetyproject.graphs.GeneralEdge<Argument>

org.tweetyproject.graphs.HyperDirEdge<Argument>

org.tweetyproject.arg.setaf.syntax.SetAttack

All Implemented Interfaces:

DungEntity, Formula

public class SetAttack
extends HyperDirEdge<Argument>
implements DungEntity

This class models an attack between two arguments. It comprises of two attributes of Argument and is mainly used by abstract argumentation theories as e.g. SetAfTheory.

Author:

Sebastian Franke, Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SetAttack(Set<Argument> attackers, Argument attacked)	Default constructor; initializes the two arguments used in this attack relation
SetAttack(Argument attacker, Argument attacked)	Default constructor; initializes the two arguments used in this attack relation

Method Summary

Modifier and Type	Method	Description
boolean	contains(Argument argument)	Return true if the given argument is in this attack relation.
boolean	equals(Object o)
Argument	getAttacked()	returns the attacked argument of this attack relation.
Set<Argument>	getAttackers()	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()
boolean	isConflictFree(Collection<? extends Argument> arguments)	returns true if one arguments in arguments attacks another within this attack relation.
String	toString()

Methods inherited from class org.tweetyproject.graphs.HyperDirEdge

getLabel, getNodeA, getNodeB, remove

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

SetAttack

public SetAttack(Set<Argument> attackers,
 Argument attacked)

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

Parameters:

attackers - the attacking argument

attacked - the attacked argument

SetAttack

public SetAttack(Argument attacker,
 Argument attacked)

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

Parameters:

attacker - the attacking argument

attacked - the attacked argument

Method Details

isConflictFree

public boolean isConflictFree(Collection<? extends Argument> arguments)

returns true if one arguments in arguments attacks another within this attack relation.

Parameters:

arguments - a list of arguments

Returns:

returns true if one arguments in arguments attacks another.

getAttacked

public Argument getAttacked()

returns the attacked argument of this attack relation.

Returns:

the attacked argument of this attack relation.

getAttackers

public Set<Argument> getAttackers()

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.

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 HyperDirEdge<Argument>

equals

public boolean equals(Object o)

Overrides:

equals in class HyperDirEdge<Argument>

hashCode

public int hashCode()

Overrides:

hashCode in class HyperDirEdge<Argument>

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.