| Package | Description | 
|---|---|
| net.sf.tweety.logics.cl.rules | 
| 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. |