Package org.tweetyproject.arg.setaf.syntax

Class SetAttack

java.lang.Object
org.tweetyproject.graphs.GeneralEdge<T>
org.tweetyproject.graphs.HyperDirEdge<Argument>
org.tweetyproject.arg.setaf.syntax.SetAttack
All Implemented Interfaces:
DungEntity, Formula
public class SetAttack extends HyperDirEdge<Argument> implements DungEntity
This class models an attack between two arguments. It comprises of two attributes of Argument and is mainly used by abstract argumentation theories as e.g. SetAfTheory.
Author:
Sebastian Franke

  • Constructor Details

    • SetAttack

      public SetAttack(Set<Argument> attackers, Argument attacked)
      Default constructor; initializes the two arguments used in this attack relation
      Parameters:
      attackers - the attacking argument
      attacked - the attacked argument

    • SetAttack

      public SetAttack(Argument attacker, Argument attacked)
      Default constructor; initializes the two arguments used in this attack relation
      Parameters:
      attacker - the attacking argument
      attacked - the attacked argument

  • Method Details

    • isConflictFree

      public boolean isConflictFree(Collection<? extends Argument> arguments)
      returns true if one arguments in arguments attacks another within this attack relation.
      Parameters:
      arguments - a list of arguments
      Returns:
      returns true if one arguments in arguments attacks another.

    • getAttacked

      public Argument getAttacked()
      returns the attacked argument of this attack relation.
      Returns:
      the attacked argument of this attack relation.

    • getAttackers

      public Set<Argument> getAttackers()
      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.

    • 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 HyperDirEdge<Argument>

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class HyperDirEdge<Argument>

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class HyperDirEdge<Argument>

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