Class SerialisedStableReasoner
java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner
org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner
org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedStableReasoner
- All Implemented Interfaces:
ModelProvider<Argument,
,DungTheory, Extension<DungTheory>> PostulateEvaluatable<Argument>
,QualitativeReasoner<DungTheory,
,Argument> Reasoner<Boolean,
DungTheory, Argument>
Serialised version of the stable semantics
- Author:
- Lars Bengel
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
terminationFunction
(DungTheory reducedFramework, Extension<DungTheory> constructedExtension) A set S is accepted iff the framework is emptyMethods inherited from class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner
selectionFunction
Methods inherited from class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner
getModel, getModels, getModelsGraph, getModelsSequences, getSemantics, getSerialisableReasonerForSemantics
Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, isInstalled, query, query
-
Constructor Details
-
SerialisedStableReasoner
public SerialisedStableReasoner()*description missing*
-
-
Method Details
-
terminationFunction
public boolean terminationFunction(DungTheory reducedFramework, Extension<DungTheory> constructedExtension) A set S is accepted iff the framework is empty- Overrides:
terminationFunction
in classSerialisedAdmissibleReasoner
- Parameters:
reducedFramework
- The current framework of the transition systemconstructedExtension
- The extension constructed so far.- Returns:
- true, iff the AF has no arguments or attacks
-