Class SerialisedCompleteReasoner

All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
Direct Known Subclasses:
SerialisedGroundedReasoner

public class SerialisedCompleteReasoner extends SerialisedAdmissibleReasoner
Serialised version of the complete semantics
  • Constructor Details

    • SerialisedCompleteReasoner

      public SerialisedCompleteReasoner()
  • Method Details

    • terminationFunction

      public boolean terminationFunction(TransitionState state)
      a set is accepted iff the corresponding AF of the state has no unattacked arguments
      Overrides:
      terminationFunction in class SerialisedAdmissibleReasoner
      Parameters:
      state - the current state
      Returns:
      true, if no unattacked argument exists in AF