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 and Description
protected ArgumentTree	CompilationReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
protected ArgumentTree	SimpleReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
protected abstract ArgumentTree	AbstractDeductiveArgumentationReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg) Computes the argument tree of the given argument.
private ArgumentTree	SimpleReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgumentNode argNode, java.util.Set<PropositionalFormula> support) Computes the argument tree of the given argument.
java.lang.Double	AbstractDeductiveArgumentationReasoner.query(DeductiveKnowledgeBase kb, PropositionalFormula 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 and Description
Compilation(DeductiveKnowledgeBase kb) Creates the compilation of the given knowledge base.