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
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private static ConfidentRebut instance
      Singleton instance.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private ConfidentRebut()
      Private constructor.
    • 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

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • instance

        private static ConfidentRebut instance
        Singleton instance.
    • Constructor Detail

      • ConfidentRebut

        private ConfidentRebut()
        Private constructor.
    • 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