Enum ContradictionAcceptanceCondition

    • Nested Class Summary

      • Nested classes/interfaces inherited from class java.lang.Enum

        java.lang.Enum.EnumDesc<E extends java.lang.Enum<E>>
    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      INSTANCE  
    • Method Summary

      Modifier and Type Method Description
      <U,​D>
      U
      accept​(Visitor<U,​D> visitor, D topDownData)
      Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.
      java.util.stream.Stream<Argument> arguments()  
      boolean contains​(Argument arg)
      Checks if the given argument is contained in this acceptance condition.
      java.util.Set<AcceptanceCondition> getChildren()  
      java.lang.String toString()  
      static ContradictionAcceptanceCondition valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static ContradictionAcceptanceCondition[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      • Methods inherited from class java.lang.Enum

        compareTo, describeConstable, equals, getDeclaringClass, hashCode, name, ordinal, valueOf
      • Methods inherited from class java.lang.Object

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

      • 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​(java.lang.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:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • arguments

        public java.util.stream.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