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.
|