Class ConflictFreeReasoner

java.lang.Object
org.tweetyproject.arg.bipolar.reasoner.deductive.ConflictFreeReasoner

public class ConflictFreeReasoner extends Object
reasoner for conflict-freeness in bipolar argumentation frameworks with a deductive support interpretation a set of arguments is conflict-free iff it is conflict-free in regards to the complex attacks in the framework