Class SerialisedUnchallengedReasoner

All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class SerialisedUnchallengedReasoner extends SerialisableExtensionReasoner
Serialised reasoner for the unchallenged semantics The unchallenged semantics amounts to exhaustively adding unattacked and unchallenged initial sets
Author:
Lars Bengel
  • Constructor Details

    • SerialisedUnchallengedReasoner

      public SerialisedUnchallengedReasoner()
      *description missing*
  • Method Details