Class ConfidentRebut

  • All Implemented Interfaces:
    AttackStrategy

    public class ConfidentRebut
    extends java.lang.Object
    implements AttackStrategy
    This notion of attack models the strong rebut relation. A strongly rebuts B iff assumptions(A) = \emptyset and there is L in conclusion(A) and \neg L in conclusion(B).
    Author:
    Sebastian Homann
    • Method Summary

      Modifier and Type Method Description
      boolean attacks​(Argument a, Argument b)
      Returns "true" iff the first argument attacks the second argument.
      static ConfidentRebut getInstance()
      Returns the singleton instance of this class.
      java.lang.String toAbbreviation()
      Returns the abbreviated identifier of this notion of attack, i.e.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Method Detail

      • getInstance

        public static ConfidentRebut getInstance()
        Returns the singleton instance of this class.
        Returns:
        the singleton instance of this class.
      • attacks

        public boolean attacks​(Argument a,
                               Argument b)
        Description copied from interface: AttackStrategy
        Returns "true" iff the first argument attacks the second argument.
        Specified by:
        attacks in interface AttackStrategy
        Parameters:
        a - some argument
        b - some argument
        Returns:
        "true" iff a attacks b.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toAbbreviation

        public java.lang.String toAbbreviation()
        Description copied from interface: AttackStrategy
        Returns the abbreviated identifier of this notion of attack, i.e. "a" for attack
        Specified by:
        toAbbreviation in interface AttackStrategy
        Returns:
        a short identifier