Class 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