Class NegationAcceptanceCondition

java.lang.Object
org.tweetyproject.arg.adf.syntax.acc.AbstractAcceptanceCondition
org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition
All Implemented Interfaces:
AcceptanceCondition

public final class NegationAcceptanceCondition extends AbstractAcceptanceCondition
  • Constructor Details

    • NegationAcceptanceCondition

      public NegationAcceptanceCondition(AcceptanceCondition child)
      Parameters:
      child - the child of the negation
  • Method Details

    • getChild

      public AcceptanceCondition getChild()
      Returns:
      the child
    • accept

      public <U,​ D> U accept(Visitor<U,​D> visitor, D topDownData)
      Description copied from interface: AcceptanceCondition
      Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.

      This allows for type-safe traversal through the acceptance condition structure.

      Type Parameters:
      U - the bottom-up data
      D - the top-down data
      Parameters:
      visitor - the visitor
      topDownData - the data which is passed from the root of the acceptance condition to the leaf
      Returns:
      the result of the visit method
    • getName

      public String getName()