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 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 org.tweetyproject.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 PossibleWorldMethod parameters in org.tweetyproject.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 org.tweetyproject.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 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 java.util.Set<NicePossibleWorld>
NicePossibleWorld. getAllPossibleWorlds(java.util.Collection<Proposition> signature)
-