Enum TautologyAcceptanceCondition

    • 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.
      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 TautologyAcceptanceCondition valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static TautologyAcceptanceCondition[] 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 TautologyAcceptanceCondition[] 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 TautologyAcceptanceCondition 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
      • 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