Uses of Class
org.tweetyproject.logics.pl.semantics.NicePossibleWorld

Packages that use NicePossibleWorld

Package	Description
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.pl.semantics

Uses of NicePossibleWorld in org.tweetyproject.logics.cl.semantics

Methods in org.tweetyproject.logics.cl.semantics that return types with arguments of type NicePossibleWorld

Modifier and Type	Method	Description
Map<NicePossibleWorld,ConditionalStructure.Generator>	ConditionalStructure.getConditionalGenerators(Conditional conditional)	Processes the Map form PossibleWorlds to the Generators of the given Conditional
List<NicePossibleWorld>	ConditionalStructure.getFalsifiyingWorlds(Conditional cond)	Retrieves an unmodifiable list of possible worlds that falsify the given conditional.
Set<NicePossibleWorld>	ConditionalStructure.getPossibleWorlds()	Return An unmodifiable set of all possible worlds in this ConditionalStructure
List<NicePossibleWorld>	ConditionalStructure.getVerifyingWorlds(Conditional cond)	Retrieves an unmodifiable list of possible worlds that verify the given conditional.

Methods in org.tweetyproject.logics.cl.semantics with parameters of type NicePossibleWorld

Modifier and Type	Method	Description
int	ConditionalStructure.compare(NicePossibleWorld o1, NicePossibleWorld o2)
Map<Conditional,ConditionalStructure.Generator>	ConditionalStructure.getWorldGenerators(NicePossibleWorld world)	Processes the map from Conditionals to Generators for a given PossibleWorld

Method parameters in org.tweetyproject.logics.cl.semantics with type arguments of type NicePossibleWorld

Modifier and Type	Method	Description
void	ConditionalStructure.setWorldSorting(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 org.tweetyproject.logics.cl.semantics with type arguments of type NicePossibleWorld

Modifier	Constructor	Description
	ConditionalStructure(Collection<Conditional> conditionals, Comparator<NicePossibleWorld> comparator)	Ctor: Generates a ConditionalStructure containing the given conditionals and using the given comparator to sort the worldData map.
	ConditionalStructure(Comparator<NicePossibleWorld> comparator)	Ctor: Generates an empty ConditionalStructure that uses the given Comparator to sort its worldData map.

Uses of NicePossibleWorld in org.tweetyproject.logics.pl.semantics

Methods in org.tweetyproject.logics.pl.semantics that return types with arguments of type NicePossibleWorld

Modifier and Type	Method	Description
static Set<NicePossibleWorld>	NicePossibleWorld.getAllPossibleWorlds(Collection<Proposition> signature)	Return all possible nice worlds