Package net.sf.tweety.arg.dung.syntax

Class Attack

java.lang.Object

net.sf.tweety.graphs.Edge<T>

net.sf.tweety.graphs.DirectedEdge<Argument>

net.sf.tweety.arg.dung.syntax.Attack

All Implemented Interfaces:

DungEntity, net.sf.tweety.commons.Formula

public class Attack
extends net.sf.tweety.graphs.DirectedEdge<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. DungTheory.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Attack(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.
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.
net.sf.tweety.commons.Signature	getSignature()
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 net.sf.tweety.graphs.Edge

getNodeA, getNodeB

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Attack

public Attack(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 Detail

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.

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.

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

toString

public String toString()

Overrides:

toString in class net.sf.tweety.graphs.DirectedEdge<Argument>

equals

public boolean equals(Object o)

Overrides:

equals in class net.sf.tweety.graphs.Edge<Argument>

hashCode

public int hashCode()

Overrides:

hashCode in class net.sf.tweety.graphs.Edge<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.