Package org.tweetyproject.arg.bipolar.syntax

Class BinaryAttack

java.lang.Object
org.tweetyproject.graphs.GeneralEdge<T>
org.tweetyproject.graphs.Edge<T>
org.tweetyproject.graphs.DirectedEdge<BArgument>
org.tweetyproject.arg.bipolar.syntax.BinaryAttack
All Implemented Interfaces:
Iterable<BArgument>, 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 of Argument and is used by abstract argumentation theories.
Author:
Lars Bengel

  • Constructor Details

    • BinaryAttack

      public BinaryAttack(BArgument attacker, BArgument attacked)
      Default constructor; initializes the two arguments used in this attack relation
      Parameters:
      attacker - the supporting argument
      attacked - the supported argument

  • Method Details

    • getAttacked

      public BArgument getAttacked()
      returns the attacked argument of this attack relation.
      Specified by:
      getAttacked in interface Attack
      Returns:
      the attacked argument of this attack relation.

    • getAttacker

      public BArgument getAttacker()
      returns the attacking argument of this attack relation.
      Specified by:
      getAttacker in interface Attack
      Returns:
      the attacking argument of this attack relation.

    • toString

      public String toString()
      Specified by:
      toString in interface Attack
      Overrides:
      toString in class DirectedEdge<BArgument>

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Edge<BArgument>

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Edge<BArgument>

    • contains

      public boolean contains(Object o)
      Specified by:
      contains in interface BipolarEntity

    • 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.

    • getSignature

      public Signature getSignature()
      Description copied from interface: Formula
      Returns the signature of the language of this formula.
      Specified by:
      getSignature in interface Formula
      Returns:
      the signature of the language of this formula.

    • iterator

      public Iterator<BArgument> iterator()
      Specified by:
      iterator in interface Iterable<BArgument>