Uses of Class
org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner
Packages that use SerialisableExtensionReasoner
-
Uses of SerialisableExtensionReasoner in org.tweetyproject.arg.dung.reasoner.serialisable
Modifier and TypeClassDescriptionclass
Serialised version of the admissible semanticsclass
Serialised version of the complete semanticsclass
Serialised version of the grounded semanticsclass
Serialised version of the preferred semanticsclass
Serialised version of the stable semanticsclass
Serialised reasoner for the unchallenged semantics The unchallenged semantics amounts to exhaustively adding unattacked and unchallenged initial setsMethods in org.tweetyproject.arg.dung.reasoner.serialisable that return SerialisableExtensionReasonerModifier and TypeMethodDescriptionSerialisableExtensionReasoner.getSerialisableReasonerForSemantics
(Semantics semantics) Creates a reasoner for the given semantics.