Uses of Interface
org.tweetyproject.arg.dung.serialisability.syntax.SelectionFunction
Packages that use SelectionFunction
Package
Description
-
Uses of SelectionFunction in org.tweetyproject.arg.dung.reasoner
Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type SelectionFunctionModifierConstructorDescriptionInitializes a serialisation reasoner with the given selection and termination functionsSerialisedExtensionReasoner
(SelectionFunction alpha, TerminationFunction beta, Semantics semantics) Initializes a serialisation reasoner with the given selection and termination functions and sets the semantics -
Uses of SelectionFunction in org.tweetyproject.arg.dung.serialisability.syntax
Fields in org.tweetyproject.arg.dung.serialisability.syntax declared as SelectionFunctionModifier and TypeFieldDescriptionstatic final SelectionFunction
SelectionFunction.ADMISSIBLE
Admissible selection functionstatic final SelectionFunction
SelectionFunction.GROUNDED
Grounded selection functionstatic final SelectionFunction
SelectionFunction.UNCHALLENGED
Unchallenged selection function