Class Attack

  • All Implemented Interfaces:
    DungEntity, Formula
    Direct Known Subclasses:
    AbaAttack, AspicAttack

    public class Attack
    extends DirectedEdge<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. DungTheory.
    Author:
    Matthias Thimm
    • Constructor Summary

      Constructors 
      Constructor Description
      Attack​(Argument attacker, Argument attacked)
      Default constructor; initializes the two arguments used in this attack relation
    • Method Summary

      Modifier and Type Method Description
      boolean contains​(Argument argument)
      Return true if the given argument is in this attack relation.
      boolean equals​(java.lang.Object o)  
      Argument getAttacked()
      returns the attacked argument of this attack relation.
      Argument 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()  
      boolean isConflictFree​(java.util.Collection<? extends Argument> arguments)
      returns true if one arguments in arguments attacks another within this attack relation.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • Attack

        public Attack​(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 Detail

      • isConflictFree

        public boolean isConflictFree​(java.util.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.
      • 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.
      • 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.
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class Edge<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.