Uses of Class
net.sf.tweety.logics.qbf.semantics.QbPossibleWorld

Packages that use QbPossibleWorld

Package	Description
net.sf.tweety.logics.qbf.semantics

Uses of QbPossibleWorld in net.sf.tweety.logics.qbf.semantics

Methods in net.sf.tweety.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.