Package | Description |
---|---|
net.sf.tweety.logics.cl.kappa | |
net.sf.tweety.logics.cl.semantics | |
net.sf.tweety.logics.pl.semantics | |
net.sf.tweety.logics.pl.test |
Modifier and Type | Method and Description |
---|---|
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 |
---|---|
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.Map<Conditional,java.util.List<NicePossibleWorld>> |
ConditionalStructure.falsifyingWorlds |
private java.util.Map<Conditional,java.util.List<NicePossibleWorld>> |
ConditionalStructure.verifyingWorlds |
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.
|
private java.util.Comparator<NicePossibleWorld> |
ConditionalStructure.worldSorting
The object used to sort the Nice Possible worlds
|
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.List<NicePossibleWorld> |
ConditionalStructure.getFalsifiyingWorlds(Conditional cond) |
java.util.Set<NicePossibleWorld> |
ConditionalStructure.getPossibleWorlds() |
java.util.List<NicePossibleWorld> |
ConditionalStructure.getVerifyingWorlds(Conditional cond) |
Modifier and Type | Method and Description |
---|---|
int |
ConditionalStructure.compare(NicePossibleWorld o1,
NicePossibleWorld o2) |
java.util.Map<Conditional,ConditionalStructure.Generator> |
ConditionalStructure.getWorldGenerators(NicePossibleWorld world)
Processes the map from Conditionals to Generators for a given PossibleWorld
|
private boolean |
ConditionalStructure.putGenerator(NicePossibleWorld npw,
Conditional cond)
Processes the generator of the given Conditional cond for the PossibleWorld
npw and saves it in the worldData data structure if it is not equal CG_ONE.
|
Modifier and Type | Method and Description |
---|---|
void |
ConditionalStructure.setWorldSorting(java.util.Comparator<NicePossibleWorld> comparator)
Changes the ordering of the PossibleWorlds for representation purposes, before
using this method proof if the goal can be easier achieved using the
setWorldRepresentation() method that allows changing the ordering of
the literals in the world representation.
|
Constructor and Description |
---|
ConditionalStructure(java.util.Collection<Conditional> conditionals,
java.util.Comparator<NicePossibleWorld> comparator)
Ctor: Generates a ConditionalStructure containing the given conditionals and
using the given comparator to sort the worldData map.
|
ConditionalStructure(java.util.Comparator<NicePossibleWorld> comparator)
Ctor: Generates an empty ConditionalStructure that uses the given
Comparator to sort its worldData map.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Set<NicePossibleWorld> |
NicePossibleWorld.getAllPossibleWorlds(java.util.Collection<Proposition> signature) |
Modifier and Type | Field and Description |
---|---|
private NicePossibleWorld |
TestNicePossibleWorld.world |