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

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

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

Modifier and Type	Method	Description
abstract java.util.Set<CLaw>	CLaw.getAllGrounded()
java.util.Set<CLaw>	DynamicLaw.getAllGrounded()
java.util.Set<CLaw>	StaticLaw.getAllGrounded()
abstract java.util.Set<CLaw>	CLaw.toDefinite()	Returns an equivalent definite causal law.
java.util.Set<CLaw>	DynamicLaw.toDefinite()
java.util.Set<CLaw>	StaticLaw.toDefinite()