Package | Description |
---|---|
net.sf.tweety.action.description | |
net.sf.tweety.action.description.syntax |
Modifier and Type | Method and Description |
---|---|
boolean |
CActionDescriptionConsistencyTester.isConsistent(ActionDescription<CLaw> causalRules) |
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
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<CLaw> |
StaticLaw.getAllGrounded() |
java.util.Set<CLaw> |
DynamicLaw.getAllGrounded() |
abstract java.util.Set<CLaw> |
CLaw.getAllGrounded()
Returns the set of all grounded instances of this causal law.
|
java.util.Set<CLaw> |
StaticLaw.toDefinite() |
java.util.Set<CLaw> |
DynamicLaw.toDefinite() |
abstract java.util.Set<CLaw> |
CLaw.toDefinite()
Returns an equivalent definite causal law.
|