Uses of Class net.sf.tweety.logics.pl.semantics.NicePossibleWorld

Packages that use NicePossibleWorld
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

Uses of NicePossibleWorld in net.sf.tweety.logics.cl.kappa

Method parameters in net.sf.tweety.logics.cl.kappa with type arguments of type NicePossibleWorld
Modifier and Type	Method	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.

Uses of NicePossibleWorld in net.sf.tweety.logics.cl.semantics

Fields in net.sf.tweety.logics.cl.semantics with type parameters of type NicePossibleWorld
Modifier and Type	Field	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

Methods in net.sf.tweety.logics.cl.semantics that return types with arguments of type NicePossibleWorld
Modifier and Type	Method	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)`

Methods in net.sf.tweety.logics.cl.semantics with parameters of type NicePossibleWorld
Modifier and Type	Method	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.

Method parameters in net.sf.tweety.logics.cl.semantics with type arguments of type NicePossibleWorld
Modifier and Type	Method	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 parameters in net.sf.tweety.logics.cl.semantics with type arguments of type NicePossibleWorld
Constructor	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.

Uses of NicePossibleWorld in net.sf.tweety.logics.pl.semantics

Methods in net.sf.tweety.logics.pl.semantics that return types with arguments of type NicePossibleWorld
Modifier and Type	Method	Description
`static java.util.Set<NicePossibleWorld>`	NicePossibleWorld.`getAllPossibleWorlds(java.util.Collection<Proposition> signature)`

Uses of NicePossibleWorld in net.sf.tweety.logics.pl.test

Fields in net.sf.tweety.logics.pl.test declared as NicePossibleWorld
Modifier and Type Field Description

private NicePossibleWorld TestNicePossibleWorld.world