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

Classes in org.tweetyproject.arg.deductive.reasoner that implement interfaces with type arguments of type DeductiveKnowledgeBase

Modifier and Type	Class	Description
class	AbstractDeductiveArgumentationReasoner	This class contains common characteristics for deductive argumentation 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

Classes in org.tweetyproject.arg.deductive.util that implement interfaces with type arguments of type DeductiveKnowledgeBase

Modifier and Type	Class	Description
class	RandomDeductiveKnowledgeBaseGenerator	Generates random Deductive Knowledge Bases.

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

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