Class 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 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 class SerialisedAdmissibleReasoner
      Parameters:
      reducedFramework - The current framework of the transition system
      constructedExtension - The extension constructed so far.
      Returns:
      true, iff the AF has no arguments or attacks