Class BinaryAttack

    • Constructor Summary

      Constructors 
      Constructor Description
      BinaryAttack​(BArgument attacker, BArgument attacked)
      Default constructor; initializes the two 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.
      BArgument 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()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • BinaryAttack

        public BinaryAttack​(BArgument attacker,
                            BArgument attacked)
        Default constructor; initializes the two arguments used in this attack relation
        Parameters:
        attacker - the supporting argument
        attacked - the supported 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 BArgument getAttacker()
        returns the attacking argument of this attack relation.
        Specified by:
        getAttacker in interface Attack
        Returns:
        the attacking argument of this attack relation.
      • equals

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