Package net.sf.tweety.arg.bipolar.syntax
Class BinaryAttack
- java.lang.Object
-
- net.sf.tweety.graphs.Edge<T>
-
- net.sf.tweety.graphs.DirectedEdge<BArgument>
-
- net.sf.tweety.arg.bipolar.syntax.BinaryAttack
-
- All Implemented Interfaces:
Attack
,BipolarEntity
,DungEntity
,Formula
,Node
public class BinaryAttack extends DirectedEdge<BArgument> implements Attack
This class models a binary attack relation between two arguments. It comprises of two attributes ofArgument
and is used by abstract argumentation theories.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description BinaryAttack(BArgument attacker, BArgument attacked)
Default constructor; initializes the two 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.BArgument
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.Signature
getSignature()
Returns the signature of the language of this formula.int
hashCode()
java.lang.String
toString()
-
-
-
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 BArgument getAttacker()
returns the attacking argument of this attack relation.- Specified by:
getAttacker
in interfaceAttack
- Returns:
- the attacking argument of this attack relation.
-
toString
public java.lang.String toString()
- Specified by:
toString
in interfaceAttack
- Overrides:
toString
in classDirectedEdge<BArgument>
-
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.
-
-