Class AbaAttack<T extends Formula>

Type Parameters:
T - is the type of the language that the ABA theory's rules range over
All Implemented Interfaces:
DungEntity, Formula

public class AbaAttack<T extends Formula> extends Attack
This class models an ABA attack.
Author:
Nils Geilen (geilenn@uni-koblenz.de)
  • Constructor Details

    • AbaAttack

      public AbaAttack(Argument attacker, Argument attacked)
      Creates a new ABA attack
      Parameters:
      attacker - the attacking argument
      attacked - the attacked argument
  • Method Details

    • attacks

      public static <T extends 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 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 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