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 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.