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

Packages that use NicePossibleWorld
Package Description

net.sf.tweety.logics.cl.semantics

net.sf.tweety.logics.pl.semantics

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

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

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)`