Class SetAttack

    • Constructor Summary

      Constructors 
      Constructor Description
      SetAttack​(java.util.Collection<BArgument> supporter, BArgument supported)
      initializes the arguments used in this attack relation
      SetAttack​(ArgumentSet supporter, BArgument supported)
      Default constructor; initializes the arguments used in this attack relation
      SetAttack​(BArgument supporter, BArgument supported)
      initializes the arguments used in this attack relation
    • Method Summary

      Modifier and Type Method Description
      boolean contains​(java.lang.Object o)  
      boolean equals​(java.lang.Object o)  
      BArgument getAttacked()
      returns the attacked argument of this attack relation.
      ArgumentSet getAttacker()
      returns the attacking set of arguments 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()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • SetAttack

        public SetAttack​(ArgumentSet supporter,
                         BArgument supported)
        Default constructor; initializes the arguments used in this attack relation
        Parameters:
        supporter - the attacking set of arguments
        supported - the attacked argument
      • SetAttack

        public SetAttack​(java.util.Collection<BArgument> supporter,
                         BArgument supported)
        initializes the arguments used in this attack relation
        Parameters:
        supporter - a collection of attacking arguments arguments
        supported - the attacked argument
      • SetAttack

        public SetAttack​(BArgument supporter,
                         BArgument supported)
        initializes the arguments used in this attack relation
        Parameters:
        supporter - the attacking argument
        supported - the attacked argument
    • Method Detail

      • 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 ArgumentSet getAttacker()
        returns the attacking set of arguments of this attack relation.
        Specified by:
        getAttacker in interface Attack
        Returns:
        the attacking set of arguments of this attack relation.
      • contains

        public boolean contains​(java.lang.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.