Uses of Interface
org.tweetyproject.action.description.syntax.CausalLaw

Packages that use CausalLaw

Package	Description
org.tweetyproject.action.description.analysis
org.tweetyproject.action.description.syntax

Uses of CausalLaw in org.tweetyproject.action.description.analysis

Classes in org.tweetyproject.action.description.analysis with type parameters of type CausalLaw

Modifier and Type	Interface	Description
interface	ActionDescriptionConsistencyTester<T extends CausalLaw>	Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.

Uses of CausalLaw in org.tweetyproject.action.description.syntax

Classes in org.tweetyproject.action.description.syntax with type parameters of type CausalLaw

Modifier and Type	Class	Description
class	ActionDescription<T extends CausalLaw>	This class represents an action description as a set of causal laws.

Classes in org.tweetyproject.action.description.syntax that implement CausalLaw

Modifier and Type	Class	Description
class	CLaw	The action description language C consists of two distinct expressions: static laws and dynamic laws.
class	DynamicLaw	A dynamic law in C has the form "caused F if G after U" where F is a propositional formula over the set of fluent names (called headFormula) G is a propositional formula over the set of fluent names (called ifFormula) U is a propositional formula over the set of fluent names and the set of action names (called afterFormula)
class	StaticLaw	This class represents a static rule in C, which has the following form: "caused H if G" where H is a propositional formula over the set of fluents and G is a propositional formula over the set of fluents and the set of actions

Constructor parameters in org.tweetyproject.action.description.syntax with type arguments of type CausalLaw

Modifier	Constructor	Description
	CActionDescription(Collection<? extends CausalLaw> c)	Creates a new belief set with the given collection of formulae.