Class ExtendedAttack

java.lang.Object
org.tweetyproject.arg.extended.syntax.ExtendedAttack
All Implemented Interfaces:
DungEntity, Formula
public class ExtendedAttack extends Object implements DungEntity
Represents an Extended Attack, i.e., an attack from some argument to another (extended) attack or argument
Author:
Lars Bengel

  • Constructor Details

    • ExtendedAttack

      public ExtendedAttack(Argument attacker, DungEntity attacked)
      Constructs an ExtendedAttack object, which represents an extended attack in a Dung argumentation framework. The attack can target either an argument, a regular attack, or another extended attack.
      Parameters:
      attacker - The argument that initiates the attack.
      attacked - The target of the attack, which can be either an Argument, an Attack, or an ExtendedAttack.
      Throws:
      IllegalArgumentException - If the target type of the attack is not supported (i.e., not an Argument, Attack, or ExtendedAttack).

    • ExtendedAttack

      public ExtendedAttack(Argument attacker, ExtendedAttack attacked)
      Initializes an extended attack from an argument to an extended attack
      Parameters:
      attacker - some argument
      attacked - some extended attack

    • ExtendedAttack

      public ExtendedAttack(Argument attacker, Attack attacked)
      Initializes an extended attack from an argument to an attack
      Parameters:
      attacker - some argument
      attacked - some attack

    • ExtendedAttack

      public ExtendedAttack(Argument attacker, Argument attacked)
      Initializes an extended attack from an argument to an argument
      Parameters:
      attacker - some argument
      attacked - some argument

  • Method Details

    • getNodeA

      public Argument getNodeA()
      get first node of the edge
      Returns:
      the first node

    • getNodeB

      public DungEntity getNodeB()
      get target of edge
      Returns:
      edge target

    • getAttacked

      public DungEntity getAttacked()
      returns the attacked element of this attack relation.
      Returns:
      the attacked element of this attack relation.

    • getAttacker

      public Argument getAttacker()
      returns the attacking argument of this attack relation.
      Returns:
      the attacking argument of this attack relation.

    • contains

      public boolean contains(Argument argument)
      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.

    • contains

      public boolean contains(Attack attack)
      Determines whether the given attack is contained in this attack
      Parameters:
      attack - some attack
      Returns:
      "true" if the given attack is contained in this attack

    • contains

      public boolean contains(ExtendedAttack attack)
      Determines whether the given attack is contained in this attack
      Parameters:
      attack - some extended attack
      Returns:
      "true" if the given attack is contained in this attack

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

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

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