Uses of Class
net.sf.tweety.action.description.syntax.CLaw

Packages that use CLaw

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

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

Method parameters in net.sf.tweety.action.description.analysis with type arguments of type CLaw

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

Uses of CLaw in net.sf.tweety.action.description.syntax

Subclasses of CLaw in net.sf.tweety.action.description.syntax

Modifier and Type	Class and 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 net.sf.tweety.action.description.syntax that return types with arguments of type CLaw

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