Uses of Enum
org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics
Packages that use ExtensionRankingSemantics
-
Uses of ExtensionRankingSemantics in org.tweetyproject.arg.dung.reasoner
Methods in org.tweetyproject.arg.dung.reasoner that return ExtensionRankingSemanticsModifier and TypeMethodDescriptionExtensionRankingReasoner.getSemantics()
get the semantic of OrderingSemanticsReasoner instanceConstructors in org.tweetyproject.arg.dung.reasoner with parameters of type ExtensionRankingSemanticsModifierConstructorDescriptioncreate a reasoner for the given ordering semantics -
Uses of ExtensionRankingSemantics in org.tweetyproject.arg.dung.semantics
Fields in org.tweetyproject.arg.dung.semantics declared as ExtensionRankingSemanticsModifier and TypeFieldDescriptionstatic final ExtensionRankingSemantics
ExtensionRankingSemantics.ADMISSIBLE_SEMANTICS
class for extension ranking semanticsstatic final ExtensionRankingSemantics
ExtensionRankingSemantics.COMPLETE_SEMANTICS
class for extension ranking semanticsstatic final ExtensionRankingSemantics
ExtensionRankingSemantics.CONFLICT_FREE_SEMANTICS
class for extension ranking semanticsstatic final ExtensionRankingSemantics
ExtensionRankingSemantics.GROUNDED_SEMANTICS
class for extension ranking semanticsstatic final ExtensionRankingSemantics
ExtensionRankingSemantics.PREFERRED_SEMANTICS
class for extension ranking semanticsstatic final ExtensionRankingSemantics
ExtensionRankingSemantics.SEMI_STABLE_SEMANTICS
class for extension ranking semanticsMethods in org.tweetyproject.arg.dung.semantics that return ExtensionRankingSemanticsModifier and TypeMethodDescriptionstatic ExtensionRankingSemantics
Returns the enum constant of this type with the specified name.static ExtensionRankingSemantics[]
ExtensionRankingSemantics.values()
Returns an array containing the constants of this enum type, in the order they are declared.