| Package | Description |
|---|---|
| net.sf.tweety.logics.cl | |
| net.sf.tweety.logics.cl.rules |
| Modifier and Type | Field and Description |
|---|---|
private java.util.List<RuleBasedCReasoner.Rule> |
RuleBasedCReasoner.rules
A prioritized list of rules, the first rule is applied first and so on.
|
| Modifier and Type | Class and Description |
|---|---|
class |
EvaluateRule
The evaluate rule tries to evaluate the kappa values by using logical
constraints, therefore the
KappaTerm evaluate() methods are called. |
class |
RuleAdapter
A simple adapter class that wraps the straightforward methods
of the Rule interface, such that the developer can spare the work
to implement the setter methods.
|