Enum ContradictionAcceptanceCondition

java.lang.Object
java.lang.Enum<ContradictionAcceptanceCondition>
org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition
All Implemented Interfaces:
Serializable, Comparable<ContradictionAcceptanceCondition>, Constable, AcceptanceCondition

public enum ContradictionAcceptanceCondition extends Enum<ContradictionAcceptanceCondition> implements AcceptanceCondition
Author:
Sebastian
  • Enum Constant Details

  • Method Details

    • values

      public static ContradictionAcceptanceCondition[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      Returns:
      an array containing the constants of this enum type, in the order they are declared
    • valueOf

      public static ContradictionAcceptanceCondition valueOf(String name)
      Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum type has no constant with the specified name
      NullPointerException - if the argument is null
    • arguments

      public Stream<Argument> arguments()
      Specified by:
      arguments in interface AcceptanceCondition
      Returns:
      recursively computes all the arguments of this acceptance condition
    • contains

      public boolean contains(Argument arg)
      Description copied from interface: AcceptanceCondition
      Checks if the given argument is contained in this acceptance condition.

      Note that this relation is reflexive, hence each argument contains itself.

      Specified by:
      contains in interface AcceptanceCondition
      Parameters:
      arg - some argument
      Returns:
      true if the argument is contained
    • 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.

      Specified by:
      accept in interface AcceptanceCondition
      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
    • getChildren

      public Set<AcceptanceCondition> getChildren()
      Specified by:
      getChildren in interface AcceptanceCondition
      Returns:
      an unmodifiable set of children
    • toString

      public String toString()
      Overrides:
      toString in class Enum<ContradictionAcceptanceCondition>