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

Class SerialisedPreferredReasoner

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.SerialisedPreferredReasoner
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
public class SerialisedPreferredReasoner extends SerialisedAdmissibleReasoner
Serialised version of the preferred semantics
Author:
Lars Bengel

  • Constructor Details

    • SerialisedPreferredReasoner

      public SerialisedPreferredReasoner()

  • Method Details

    • terminationFunction

      public boolean terminationFunction(TransitionState state)
      a set S is accepted, iff the AF of the state has no initial extensions
      Overrides:
      terminationFunction in class SerialisedAdmissibleReasoner
      Parameters:
      state - the current state
      Returns:
      true, iff the AF has no initial extensions