Class ImplicationAcceptanceCondition

java.lang.Object
org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
org.tweetyproject.arg.adf.syntax.acc.ImplicationAcceptanceCondition
All Implemented Interfaces:
AcceptanceCondition

public final class ImplicationAcceptanceCondition extends BinaryAcceptanceCondition
Author:
Sebastian
  • Constructor Details

    • ImplicationAcceptanceCondition

      public ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
      Parameters:
      left - the left side of the implication
      right - the right side of the implication
  • Method Details

    • 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()