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 correspondingKappaMin
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 worldsMethods 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 Conditionaljava.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 PossibleWorldprivate 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
-