| Package | Description |
|---|---|
| net.sf.tweety.action | |
| net.sf.tweety.action.description |
| Modifier and Type | Method and Description |
|---|---|
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.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
CActionDescriptionConsistencyTester.isConsistent(ActionDescription<CLaw> causalRules) |