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 SelectionFunctionSelectionFunction.ADMISSIBLEAdmissible selection functionstatic final SelectionFunctionSelectionFunction.GROUNDEDGrounded selection functionstatic final SelectionFunctionSelectionFunction.UNCHALLENGEDUnchallenged selection function