Package net.sf.tweety.arg.bipolar.syntax
Class SetAttack
- java.lang.Object
-
- net.sf.tweety.graphs.Edge<T>
-
- net.sf.tweety.graphs.DirectedEdge<BipolarEntity>
-
- net.sf.tweety.arg.bipolar.syntax.SetAttack
-
- All Implemented Interfaces:
Attack
,BipolarEntity
,DungEntity
,Formula
,Node
public class SetAttack extends DirectedEdge<BipolarEntity> implements Attack
This class models an attack between a set of arguments and an argument. It comprises of a set ofBArgument
and is used by bipolar abstract argumentation theories.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description SetAttack(java.util.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 relationSetAttack(BArgument supporter, BArgument supported)
initializes the arguments used in this attack relation
-
Method Summary
Modifier and Type Method Description boolean
contains(java.lang.Object o)
boolean
equals(java.lang.Object o)
BArgument
getAttacked()
returns the attacked argument of this attack relation.ArgumentSet
getAttacker()
returns the attacking set of arguments 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()
java.lang.String
toString()
-
-
-
Constructor Detail
-
SetAttack
public SetAttack(ArgumentSet supporter, BArgument supported)
Default constructor; initializes the arguments used in this attack relation- Parameters:
supporter
- the attacking set of argumentssupported
- the attacked argument
-
SetAttack
public SetAttack(java.util.Collection<BArgument> supporter, BArgument supported)
initializes the arguments used in this attack relation- Parameters:
supporter
- a collection of attacking arguments argumentssupported
- the attacked argument
-
-
Method Detail
-
getAttacked
public BArgument getAttacked()
returns the attacked argument of this attack relation.- Specified by:
getAttacked
in interfaceAttack
- Returns:
- the attacked argument of this attack relation.
-
getAttacker
public ArgumentSet getAttacker()
returns the attacking set of arguments of this attack relation.- Specified by:
getAttacker
in interfaceAttack
- Returns:
- the attacking set of arguments of this attack relation.
-
toString
public java.lang.String toString()
- Specified by:
toString
in interfaceAttack
- Overrides:
toString
in classDirectedEdge<BipolarEntity>
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classEdge<BipolarEntity>
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classEdge<BipolarEntity>
-
contains
public boolean contains(java.lang.Object o)
- Specified by:
contains
in interfaceBipolarEntity
-
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 interfaceDungEntity
- Returns:
- the logical formula of this entity.
-
getSignature
public Signature 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.
-
-