Class SerialisedUnchallengedReasoner

java.lang.Object
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