Class Attack
- All Implemented Interfaces:
DungEntity
,Formula
- Direct Known Subclasses:
AbaAttack
,AspicAttack
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
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Return true if the given argument is in this attack relation.boolean
returns the attacked argument of this attack relation.returns the attacking argument of this attack relation.Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.Returns the signature of the language of this formula.int
hashCode()
boolean
isConflictFree
(Collection<? extends Argument> arguments) returns true if one arguments inarguments
attacks another within this attack relation.toString()
-
Constructor Details
-
Attack
Default constructor; initializes the two arguments used in this attack relation- Parameters:
attacker
- the attacking argumentattacked
- the attacked argument
-
-
Method Details
-
isConflictFree
returns true if one arguments inarguments
attacks another within this attack relation.- Parameters:
arguments
- a list of arguments- Returns:
- returns true if one arguments in
arguments
attacks another.
-
getAttacked
returns the attacked argument of this attack relation.- Returns:
- the attacked argument of this attack relation.
-
getAttacker
returns the attacking argument of this attack relation.- Returns:
- the attacking argument of this attack relation.
-
contains
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
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Returns:
- the signature of the language of this formula.
-
toString
- Overrides:
toString
in classDirectedEdge<Argument>
-
equals
-
hashCode
public int hashCode() -
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 interfaceDungEntity
- Returns:
- the logical formula of this entity.
-