Uses of Class
net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework

Packages that use DeductiveArgumentationFramework

Package	Description
net.sf.tweety.arg.bipolar.reasoner.deductive
net.sf.tweety.arg.bipolar.syntax

Uses of DeductiveArgumentationFramework in net.sf.tweety.arg.bipolar.reasoner.deductive

Methods in net.sf.tweety.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>	ClosureReasoner.getModels(DeductiveArgumentationFramework bbase)
java.util.Collection<ArgumentSet>	SafetyReasoner.getModels(DeductiveArgumentationFramework bbase)

Uses of DeductiveArgumentationFramework in net.sf.tweety.arg.bipolar.syntax

Methods in net.sf.tweety.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 net.sf.tweety.arg.bipolar.syntax with parameters of type DeductiveArgumentationFramework

Modifier and Type	Method	Description
int	DeductiveArgumentationFramework.compareTo(DeductiveArgumentationFramework o)

Constructors in net.sf.tweety.arg.bipolar.syntax with parameters of type DeductiveArgumentationFramework

Constructor	Description
NecessityArgumentationFramework(DeductiveArgumentationFramework daf)	creates a necessity argumentation framework from the given deductive argumentation framework