Uses of Class
org.tweetyproject.logics.qbf.semantics.QbPossibleWorld
-
Uses of QbPossibleWorld in org.tweetyproject.logics.qbf.semantics
Modifier and TypeMethodDescriptionstatic Set<QbPossibleWorld>
QbPossibleWorld.getAllPossibleWorlds(Collection<Proposition> signature)
Returns the set of all possible worlds for the given propositional signature.static Set<QbPossibleWorld>
QbPossibleWorld.getAllPossibleWorlds(PlSignature signature)
Returns the set of all possible worlds for the given propositional signature.