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()	Returns the causal knowledge base associated with this argument.
CausalKnowledgeBase	InducedTheory.getKnowledgeBase()	Retrieves the causal knowledge base associated with this theory.

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)	Visualizes this causal statement within a given causal knowledge base.
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