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