| Package | Description | 
|---|---|
| net.sf.tweety.logics.cl.semantics | 
| Modifier and Type | Field and Description | 
|---|---|
private java.util.Map<Conditional,java.util.SortedMap<NicePossibleWorld,ConditionalStructure.Generator>> | 
ConditionalStructure.conditionalData
This maps saves the same data as worldData but uses another mapping allowing fast
 access to the Generators using Conditionals. 
 | 
private java.util.SortedMap<NicePossibleWorld,java.util.Map<Conditional,ConditionalStructure.Generator>> | 
ConditionalStructure.worldData
The data of the conditional structure maps to every PossibleWorld a map
 of Conditionals and their Generators. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static ConditionalStructure.Generator | 
ConditionalStructure.Generator.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. 
 | 
static ConditionalStructure.Generator[] | 
ConditionalStructure.Generator.values()
Returns an array containing the constants of this enum type, in
the order they are declared. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Map<NicePossibleWorld,ConditionalStructure.Generator> | 
ConditionalStructure.getConditionalGenerators(Conditional conditional)
Processes the Map form PossibleWorlds to the Generators of the given Conditional 
 | 
java.util.Map<Conditional,ConditionalStructure.Generator> | 
ConditionalStructure.getWorldGenerators(NicePossibleWorld world)
Processes the map from Conditionals to Generators for a given PossibleWorld 
 |