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 actionsMethods 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()
-