Uses of Class
org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase

Packages that use DeductiveKnowledgeBase

Package	Description
org.tweetyproject.arg.deductive.reasoner
org.tweetyproject.arg.deductive.semantics
org.tweetyproject.arg.deductive.util

Uses of DeductiveKnowledgeBase in org.tweetyproject.arg.deductive.reasoner

Methods in org.tweetyproject.arg.deductive.reasoner with parameters of type DeductiveKnowledgeBase

Modifier and Type	Method	Description
Double	AbstractDeductiveArgumentationReasoner.query(DeductiveKnowledgeBase kb, PlFormula f)

Uses of DeductiveKnowledgeBase in org.tweetyproject.arg.deductive.semantics

Constructors in org.tweetyproject.arg.deductive.semantics with parameters of type DeductiveKnowledgeBase

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

Uses of DeductiveKnowledgeBase in org.tweetyproject.arg.deductive.util

Methods in org.tweetyproject.arg.deductive.util that return DeductiveKnowledgeBase

Modifier and Type	Method	Description
DeductiveKnowledgeBase	RandomDeductiveKnowledgeBaseGenerator.next()	Description missing