Package net.sf.tweety.arg.aba.semantics

Class AbaAttack<T extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    T - is the type of the language that the ABA theory's rules range over
    All Implemented Interfaces:
    net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula
    public class AbaAttack<T extends net.sf.tweety.commons.Formula>
extends net.sf.tweety.arg.dung.syntax.Attack
    This class models an ABA attack.
    Author:
    Nils Geilen (geilenn@uni-koblenz.de)

    • Constructor Summary

      Constructors 
      Constructor Description
      AbaAttack​(net.sf.tweety.arg.dung.syntax.Argument attacker, net.sf.tweety.arg.dung.syntax.Argument attacked)
      Creates a new ABA attack

    • Method Summary

      Modifier and Type Method Description
      static <T extends net.sf.tweety.commons.Formula>
      Collection<AbaAttack<T>>      		 allAttacks​(Collection<Assumption<T>> from, Collection<Assumption<T>> to, AbaTheory<T> abat)
      Returns all attacks from the given attacking set to the given attacked set.
      static <T extends net.sf.tweety.commons.Formula>
      Collection<AbaAttack<T>>      		 allAttacks​(AbaTheory<T> abat)
      Returns all attacks between arguments in the given AbaTheory.
      static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
      boolean      		 attacks​(Deduction<T> attacker, Assumption<T> attacked)  

      • Methods inherited from class net.sf.tweety.arg.dung.syntax.Attack

        contains, equals, getAttacked, getAttacker, getLdoFormula, getSignature, hashCode, isConflictFree, toString

      • Methods inherited from class net.sf.tweety.graphs.Edge

        getNodeA, getNodeB

    • Constructor Detail

      • AbaAttack

        public AbaAttack​(net.sf.tweety.arg.dung.syntax.Argument attacker,
                 net.sf.tweety.arg.dung.syntax.Argument attacked)
        Creates a new ABA attack
        Parameters:
        attacker - the attacking argument
        attacked - the attacked argument

    • Method Detail

      • attacks

        public static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> boolean attacks​(Deduction<T> attacker,
                                                                                                    Assumption<T> attacked)
        Parameters:
        attacker - the attacking argument
        attacked - the attacked argument
        Returns:
        true iff attacker attacks attacked

      • allAttacks

        public static <T extends net.sf.tweety.commons.Formula> Collection<AbaAttack<T>> allAttacks​(Collection<Assumption<T>> from,
                                                                                            Collection<Assumption<T>> to,
                                                                                            AbaTheory<T> abat)
        Returns all attacks from the given attacking set to the given attacked set.
        Type Parameters:
        T - the type of formulas
        Parameters:
        from - the attacking set
        to - the attacked set
        abat - the ABA theory used to determine attacks
        Returns:
        the set of attacks from the attacking set to the attacked set

      • allAttacks

        public static <T extends net.sf.tweety.commons.Formula> Collection<AbaAttack<T>> allAttacks​(AbaTheory<T> abat)
        Returns all attacks between arguments in the given AbaTheory.
        Type Parameters:
        T - the type of formulas
        Parameters:
        abat - the ABA theory used to determine attacks
        Returns:
        all attacks between arguments in abat