Uses of Class
org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase

Packages that use CausalKnowledgeBase

Package	Description
org.tweetyproject.arg.dung.causal.syntax

Uses of CausalKnowledgeBase in org.tweetyproject.arg.dung.causal.syntax

Methods in org.tweetyproject.arg.dung.causal.syntax that return CausalKnowledgeBase

Modifier and Type	Method	Description
CausalKnowledgeBase	CausalKnowledgeBase.clone()
CausalKnowledgeBase	InducedArgument.getKnowledgeBase()	*description missing*
CausalKnowledgeBase	InducedTheory.getKnowledgeBase()	*description missing*

Methods in org.tweetyproject.arg.dung.causal.syntax with parameters of type CausalKnowledgeBase

Modifier and Type	Method	Description
boolean	CausalStatement.holds(CausalKnowledgeBase cKbase)	Checks if this instance holds in the specified knowledge base.
boolean	CounterfactualStatement.holds(CausalKnowledgeBase cKbase)
boolean	InterventionalStatement.holds(CausalKnowledgeBase cKbase)
void	CausalStatement.VisualizeHolds(CausalKnowledgeBase cKbase)	*description missing*
void	CounterfactualStatement.VisualizeHolds(CausalKnowledgeBase cKbase)
void	InterventionalStatement.VisualizeHolds(CausalKnowledgeBase cKbase)

Constructors in org.tweetyproject.arg.dung.causal.syntax with parameters of type CausalKnowledgeBase

Modifier	Constructor	Description
	InducedArgument(CausalKnowledgeBase knowledgeBase, Set<PlFormula> premises, PlFormula conclusion)	Creates a causal argument
	InducedTheory(CausalKnowledgeBase knowledgeBase)	Creates an abstract argumentation framework, which was induced from a specified causal knowledge base