Package net.sf.tweety.arg.dung.syntax

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.