Enum ExtensionRankingSemantics

java.lang.Object
java.lang.Enum<ExtensionRankingSemantics>
org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics
All Implemented Interfaces:
Serializable, Comparable<ExtensionRankingSemantics>, Constable

public enum ExtensionRankingSemantics extends Enum<ExtensionRankingSemantics>
This enum lists ordering semantics.
Author:
Lars Bengel, Daniel Letkemann
  • Enum Constant Details

  • Field Details

    • CONFLICT_FREE_SEMANTICS

      public static final ExtensionRankingSemantics CONFLICT_FREE_SEMANTICS
      class for extension ranking semantics
    • ADMISSIBLE_SEMANTICS

      public static final ExtensionRankingSemantics ADMISSIBLE_SEMANTICS
      class for extension ranking semantics
    • COMPLETE_SEMANTICS

      public static final ExtensionRankingSemantics COMPLETE_SEMANTICS
      class for extension ranking semantics
    • GROUNDED_SEMANTICS

      public static final ExtensionRankingSemantics GROUNDED_SEMANTICS
      class for extension ranking semantics
    • PREFERRED_SEMANTICS

      public static final ExtensionRankingSemantics PREFERRED_SEMANTICS
      class for extension ranking semantics
    • SEMI_STABLE_SEMANTICS

      public static final ExtensionRankingSemantics SEMI_STABLE_SEMANTICS
      class for extension ranking semantics
  • Method Details

    • values

      public static ExtensionRankingSemantics[] 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 ExtensionRankingSemantics 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
    • description

      public String description()
      Returns the description of the ordering semantics.
      Returns:
      the description of the ordering semantics.
    • abbreviation

      public String abbreviation()
      Returns the abbreviation of the ordering semantics.
      Returns:
      the abbreviation of the ordering semantics.