Package org.tweetyproject.arg.dung.reasoner.serialisable

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>

public class SerialisedStableReasoner
extends SerialisedAdmissibleReasoner

Serialised version of the stable semantics

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SerialisedStableReasoner()

Method Summary

Modifier and Type	Method	Description
boolean	terminationFunction(TransitionState state)	A set S is accepted iff the AF of the state is empty

Methods inherited from class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner

selectionFunction

Methods inherited from class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner

getModel, getModels, getSerialisableReasonerForSemantics

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SerialisedStableReasoner

public SerialisedStableReasoner()

Method Details

terminationFunction

public boolean terminationFunction(TransitionState state)

A set S is accepted iff the AF of the state is empty

Overrides:

terminationFunction in class SerialisedAdmissibleReasoner

Parameters:

state - the current state

Returns:

true, iff the AF has no arguments or attacks