Class SimpleClStagedReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner
org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner
All Implemented Interfaces:
ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>, QualitativeReasoner<ClaimBasedTheory,ClaimArgument>, Reasoner<Boolean,ClaimBasedTheory,ClaimArgument>

public class SimpleClStagedReasoner extends AbstractClaimBasedReasoner
calculates claim based staged extensions
Author:
Sebastian Franke