Uses of Class
org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner

Packages that use SerialisableExtensionReasoner

Package	Description
org.tweetyproject.arg.dung.reasoner.serialisable
org.tweetyproject.arg.dung.serialisibility.equivalence

Uses of SerialisableExtensionReasoner in org.tweetyproject.arg.dung.reasoner.serialisable

Subclasses of SerialisableExtensionReasoner in org.tweetyproject.arg.dung.reasoner.serialisable

Modifier and Type	Class	Description
class	SerialisedAdmissibleReasoner	Serialised version of the admissible semantics
class	SerialisedCompleteReasoner	Serialised version of the complete semantics
class	SerialisedGroundedReasoner	Serialised version of the grounded semantics
class	SerialisedPreferredReasoner	Serialised version of the preferred semantics
class	SerialisedStableReasoner	Serialised version of the stable semantics
class	SerialisedStronglyAdmissibleReasoner	This class represents a reasoner to compute the extensions of the strongly admissible Semantics by serialising unattacked initial sets.
class	SerialisedUnchallengedReasoner	Serialised reasoner for the unchallenged semantics The unchallenged semantics amounts to exhaustively adding unattacked and unchallenged initial sets

Methods in org.tweetyproject.arg.dung.reasoner.serialisable that return SerialisableExtensionReasoner

Modifier and Type	Method	Description
static SerialisableExtensionReasoner	SerialisableExtensionReasoner.getSerialisableReasonerForSemantics(Semantics semantics)	Creates a reasoner for the given semantics.

Uses of SerialisableExtensionReasoner in org.tweetyproject.arg.dung.serialisibility.equivalence

Constructors in org.tweetyproject.arg.dung.serialisibility.equivalence with parameters of type SerialisableExtensionReasoner

Modifier	Constructor	Description
	SerialisationEquivalenceByGraph(Equivalence<SerialisationGraph> comparator, SerialisableExtensionReasoner reasoner)
	SerialisationEquivalenceBySequence(Equivalence<Collection<SerialisationSequence>> comparator, SerialisableExtensionReasoner reasoner)	*description missing*
	SerialisationEquivalenceByTransitionStateSequence(Equivalence<Collection<TransitionStateSequence>> comparator, SerialisableExtensionReasoner reasoner)