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
|