Uses of Interface
net.sf.tweety.action.description.syntax.CausalLaw

Packages that use CausalLaw

Package	Description
net.sf.tweety.action.description.analysis
net.sf.tweety.action.description.syntax

Uses of CausalLaw in net.sf.tweety.action.description.analysis

Classes in net.sf.tweety.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 net.sf.tweety.action.description.syntax

Classes in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.action.description.syntax with type arguments of type CausalLaw

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