Class SetAttack
java.lang.Object
- All Implemented Interfaces:
Iterable<BArgument>,Attack,BipolarEntity,DungEntity,Formula,Node
This class models an attack between a set of arguments and an argument. It comprises of a set of
BArgument and is used by
bipolar abstract argumentation theories.- Author:
- Lars Bengel
-
Constructor Summary
ConstructorsConstructorDescriptionSetAttack(Collection<BArgument> supporter, BArgument supported) initializes the arguments used in this attack relationSetAttack(ArgumentSet supporter, BArgument supported) Default constructor; initializes the arguments used in this attack relationinitializes the arguments used in this attack relation -
Method Summary
Modifier and TypeMethodDescriptionbooleanChecks if this entity contains the specified object.booleanreturns the attacked argument of this attack relation.returns the attacking set of arguments 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.inthashCode()iterator()toString()Provides a string representation of the attack.Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Constructor Details
-
SetAttack
Default constructor; initializes the arguments used in this attack relation- Parameters:
supporter- the attacking set of argumentssupported- the attacked argument
-
SetAttack
initializes the arguments used in this attack relation- Parameters:
supporter- a collection of attacking arguments argumentssupported- the attacked argument
-
SetAttack
-
-
Method Details
-
getAttacked
returns the attacked argument of this attack relation.- Specified by:
getAttackedin interfaceAttack- Returns:
- the attacked argument of this attack relation.
-
getAttacker
returns the attacking set of arguments of this attack relation.- Specified by:
getAttackerin interfaceAttack- Returns:
- the attacking set of arguments of this attack relation.
-
toString
Description copied from interface:AttackProvides 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:
toStringin interfaceAttack- Overrides:
toStringin classDirectedEdge<BipolarEntity>- Returns:
- a string representation of the attack
-
equals
- Overrides:
equalsin classEdge<BipolarEntity>
-
hashCode
public int hashCode()- Overrides:
hashCodein classEdge<BipolarEntity>
-
contains
Description copied from interface:BipolarEntityChecks if this entity contains the specified object.- Specified by:
containsin interfaceBipolarEntity- Parameters:
o- the object to check for containment, typically aBArgument- Returns:
trueif the object is contained within this entity,falseotherwise
-
getLdoFormula
Description copied from interface:DungEntityReturns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])- Specified by:
getLdoFormulain interfaceDungEntity- Returns:
- the logical formula of this entity.
-
getSignature
Description copied from interface:FormulaReturns the signature of the language of this formula.- Specified by:
getSignaturein interfaceFormula- Returns:
- the signature of the language of this formula.
-
iterator
-