Uses of Class
org.tweetyproject.logics.qbf.semantics.QbPossibleWorld
-
Packages that use QbPossibleWorld Package Description org.tweetyproject.logics.qbf.semantics -
-
Uses of QbPossibleWorld in org.tweetyproject.logics.qbf.semantics
Methods in org.tweetyproject.logics.qbf.semantics that return types with arguments of type QbPossibleWorld Modifier and Type Method Description static java.util.Set<QbPossibleWorld>
QbPossibleWorld. getAllPossibleWorlds(java.util.Collection<Proposition> signature)
Returns the set of all possible worlds for the given propositional signature.static java.util.Set<QbPossibleWorld>
QbPossibleWorld. getAllPossibleWorlds(PlSignature signature)
Returns the set of all possible worlds for the given propositional signature.
-