Class SimpleEagerSetAfReasoner

java.lang.Object
All Implemented Interfaces:
ModelProvider<Argument,SetAf,Extension<SetAf>>, PostulateEvaluatable<Argument>, QualitativeReasoner<SetAf,Argument>, Reasoner<Boolean,SetAf,Argument>

public class SimpleEagerSetAfReasoner extends AbstractExtensionSetAfReasoner
simple reasoner for eager semantics
Author:
Lars Bengel, Sebastian Franke