Enum PropagationRankingReasoner.PropagationSemantics

    • Nested Class Summary

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

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

      Modifier and Type Method Description
      static PropagationRankingReasoner.PropagationSemantics valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static PropagationRankingReasoner.PropagationSemantics[] 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, toString, valueOf
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait