Uses of Class
net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase

Packages that use DeductiveKnowledgeBase

Package	Description
net.sf.tweety.arg.deductive.reasoner
net.sf.tweety.arg.deductive.semantics

Uses of DeductiveKnowledgeBase in net.sf.tweety.arg.deductive.reasoner

Methods in net.sf.tweety.arg.deductive.reasoner with parameters of type DeductiveKnowledgeBase

Modifier and Type	Method	Description
protected abstract ArgumentTree	AbstractDeductiveArgumentationReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)	Computes the argument tree of the given argument.
protected ArgumentTree	CompilationReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
protected ArgumentTree	SimpleDeductiveReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
private ArgumentTree	SimpleDeductiveReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgumentNode argNode, java.util.Set<PlFormula> support)	Computes the argument tree of the given argument.
java.lang.Double	AbstractDeductiveArgumentationReasoner.query(DeductiveKnowledgeBase kb, PlFormula f)

Uses of DeductiveKnowledgeBase in net.sf.tweety.arg.deductive.semantics

Constructors in net.sf.tweety.arg.deductive.semantics with parameters of type DeductiveKnowledgeBase

Constructor	Description
Compilation(DeductiveKnowledgeBase kb)	Creates the compilation of the given knowledge base.