Uses of Class
org.tweetyproject.arg.dung.reasoner.serialisable.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
This class represents a reasoner to compute the extensions of the strongly admissibleSemantics
by serialising unattacked initial sets.class
Serialised reasoner for the unchallenged semantics The unchallenged semantics amounts to exhaustively adding unattacked and unchallenged initial setsModifier and TypeMethodDescriptionSerialisableExtensionReasoner.getSerialisableReasonerForSemantics
(Semantics semantics) Returns a reasoner for the given semantics.