| Package | Description | 
|---|---|
| net.sf.tweety.logics.cl | |
| net.sf.tweety.logics.cl.kappa | |
| net.sf.tweety.logics.cl.rules | 
| Modifier and Type | Field and Description | 
|---|---|
private ConditionalStructure | 
RuleBasedCReasoner.cs
the conditional structure generated by the belief base of this reasoner, is null until prepare() is called. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
ConditionalStructure | 
RuleBasedCReasoner.getConditionalStructure()  | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
RuleBasedCReasoner.Rule.setConditonalStructure(ConditionalStructure cs)
Sets the  
ConditionalStructure that is used as data basis
 for the rule. | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Map<Conditional,KappaValue> | 
ConditionalStructureKappaBuilder.build(ConditionalStructure structure)
This builds a map of conditionals to  
KappaValue instances which represent the penalty
 term for a falsified conditional | 
private void | 
ConditionalStructureKappaBuilder.buildMinima(ConditionalStructure structure,
           java.util.Map<Conditional,KappaValue> kappaMap,
           Conditional curCondition,
           java.util.List<NicePossibleWorld> worlds,
           KappaMin workingMin)
Helper method: Builds the minimums for the kappa values, a collection of worlds is given which might
 be either the verifiying or the falsifiying worlds and for this collection of worlds the corresponding
  
KappaMin is given, such that positiveMinimum is calculated using verifying worlds and 
 negativeMinumum is using falsifying worlds. | 
| Modifier and Type | Field and Description | 
|---|---|
protected ConditionalStructure | 
RuleAdapter.conditionalStructure
the conditional structure the rule works on 
 | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
RuleAdapter.setConditonalStructure(ConditionalStructure cs)  |