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

Packages that use DeductiveKnowledgeBase

Package	Description
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.prob.test.deductive

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.

Uses of DeductiveKnowledgeBase in net.sf.tweety.arg.prob.test.deductive

Fields in net.sf.tweety.arg.prob.test.deductive declared as DeductiveKnowledgeBase

Modifier and Type	Field and Description
private DeductiveKnowledgeBase	DeductiveProbabilisticKnowledgebase.kb The deductive knowledge base.

Methods in net.sf.tweety.arg.prob.test.deductive that return DeductiveKnowledgeBase

Modifier and Type	Method and Description
DeductiveKnowledgeBase	DeductiveProbabilisticKnowledgebase.getKb() Returns the deductive knowledge base

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

Constructor and Description
DeductiveProbabilisticKnowledgebase(DeductiveKnowledgeBase kb, java.util.Map<PropositionalFormula,Probability> probabilityAssignments) Creates a new probabilistic knowledge base from the given parameters.