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

Class SerialisedCompleteReasoner

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.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