Class ConflictFreeReasoner
- java.lang.Object
-
- org.tweetyproject.arg.bipolar.reasoner.deductive.ConflictFreeReasoner
-
public class ConflictFreeReasoner extends java.lang.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
-
-
Constructor Summary
Constructors Constructor Description ConflictFreeReasoner()
-
Method Summary
Modifier and Type Method Description java.util.Collection<ArgumentSet>
getModels(DeductiveArgumentationFramework bbase)
-
-
-
Method Detail
-
getModels
public java.util.Collection<ArgumentSet> getModels(DeductiveArgumentationFramework bbase)
-
-