Uses of Class
org.tweetyproject.action.description.syntax.CLaw
Package
Description
-
Uses of CLaw in org.tweetyproject.action.description.analysis
Modifier and TypeMethodDescriptionboolean
CActionDescriptionConsistencyTester.isConsistent
(ActionDescription<CLaw> causalRules) -
Uses of CLaw in org.tweetyproject.action.description.syntax
Modifier and TypeClassDescriptionclass
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
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 actionsModifier and TypeMethodDescriptionCLaw.getAllGrounded()
DynamicLaw.getAllGrounded()
StaticLaw.getAllGrounded()
CLaw.toDefinite()
Returns an equivalent definite causal law.DynamicLaw.toDefinite()
StaticLaw.toDefinite()