Uses of Class
org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
-
Packages that use DeductiveArgumentationFramework Package Description org.tweetyproject.arg.bipolar.reasoner.deductive org.tweetyproject.arg.bipolar.syntax -
-
Uses of DeductiveArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.deductive
Methods in org.tweetyproject.arg.bipolar.reasoner.deductive with parameters of type DeductiveArgumentationFramework Modifier and Type Method Description ArgumentSet
ClosureReasoner. getModel(DeductiveArgumentationFramework bbase)
ArgumentSet
SafetyReasoner. getModel(DeductiveArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
CAdmissibleReasoner. getModels(DeductiveArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
ClosureReasoner. getModels(DeductiveArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
ConflictFreeReasoner. getModels(DeductiveArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
DAdmissibleReasoner. getModels(DeductiveArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
SafetyReasoner. getModels(DeductiveArgumentationFramework bbase)
-
Uses of DeductiveArgumentationFramework in org.tweetyproject.arg.bipolar.syntax
Methods in org.tweetyproject.arg.bipolar.syntax that return DeductiveArgumentationFramework Modifier and Type Method Description DeductiveArgumentationFramework
NecessityArgumentationFramework. toDAF()
translates this NAF into the corresponding framework with support in a deductive sense only works for NAFs which contain only binary support relations See Cayrol, Lagasquie-Schiex.Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type DeductiveArgumentationFramework Modifier and Type Method Description int
DeductiveArgumentationFramework. compareTo(DeductiveArgumentationFramework o)
Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type DeductiveArgumentationFramework Constructor Description NecessityArgumentationFramework(DeductiveArgumentationFramework daf)
creates a necessity argumentation framework from the given deductive argumentation framework
-