Uses of Class
org.tweetyproject.action.description.syntax.CLaw

Packages that use CLaw

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

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

Classes in org.tweetyproject.action.description.analysis that implement interfaces with type arguments of type CLaw

Modifier and Type	Class	Description
class	CActionDescriptionConsistencyTester	This class is able to check if a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state.

Method parameters in org.tweetyproject.action.description.analysis with type arguments of type CLaw

Modifier and Type	Method	Description
boolean	CActionDescriptionConsistencyTester.isConsistent(ActionDescription<CLaw> causalRules)

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

Subclasses of CLaw in org.tweetyproject.action.description.syntax

Modifier and Type	Class	Description
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

Subclasses with type arguments of type CLaw in org.tweetyproject.action.description.syntax

Modifier and Type	Class	Description
class	CActionDescription	This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.

Methods in org.tweetyproject.action.description.syntax that return types with arguments of type CLaw

Modifier and Type	Method	Description
abstract Set<CLaw>	CLaw.getAllGrounded()	Retrieves the set of all grounded instances of this causal law.
Set<CLaw>	DynamicLaw.getAllGrounded()
Set<CLaw>	StaticLaw.getAllGrounded()
abstract Set<CLaw>	CLaw.toDefinite()	Returns an equivalent definite causal law.
Set<CLaw>	DynamicLaw.toDefinite()
Set<CLaw>	StaticLaw.toDefinite()