Package | Description |
---|---|
net.sf.tweety.action.description.analysis | |
net.sf.tweety.action.description.syntax |
Modifier and Type | Method and Description |
---|---|
boolean |
CActionDescriptionConsistencyTester.isConsistent(ActionDescription<CLaw> causalRules) |
boolean |
ActionDescriptionConsistencyTester.isConsistent(ActionDescription<T> causalRules)
Checks whether the given set of causal rules is consistent.
|
Modifier and Type | Class and Description |
---|---|
class |
CActionDescription
This class represents an action description for the action language C as a
set of causal rules, and provides some basic functionality such as grounding.
|