Uses of Class
net.sf.tweety.logics.pl.semantics.PossibleWorld

Packages that use PossibleWorld

Package	Description
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax

Uses of PossibleWorld in net.sf.tweety.logics.pl.analysis

Methods in net.sf.tweety.logics.pl.analysis with parameters of type PossibleWorld

Modifier and Type	Method and Description
double	DalalDistance.distance(PossibleWorld a, PossibleWorld b)
abstract double	PossibleWorldDistance.distance(PossibleWorld a, PossibleWorld b)
double	PossibleWorldDistance.distance(PropositionalFormula f, PossibleWorld b)

Uses of PossibleWorld in net.sf.tweety.logics.pl.semantics

Methods in net.sf.tweety.logics.pl.semantics that return PossibleWorld

Modifier and Type	Method and Description
PossibleWorld	NicePossibleWorld.getOptimizedWorld()
PossibleWorld	PossibleWorldIterator.next()

Methods in net.sf.tweety.logics.pl.semantics that return types with arguments of type PossibleWorld

Modifier and Type	Method and Description
static Set<PossibleWorld>	PossibleWorld.getAllPossibleWorlds(Collection<Proposition> signature) Returns the set of all possible worlds for the given propositional signature.
net.sf.tweety.commons.InterpretationIterator<PossibleWorld>	PossibleWorldIterator.reset()
net.sf.tweety.commons.InterpretationIterator<PossibleWorld>	PossibleWorldIterator.reset(Collection<? extends net.sf.tweety.commons.Formula> formulas)
net.sf.tweety.commons.InterpretationIterator<PossibleWorld>	PossibleWorldIterator.reset(net.sf.tweety.commons.Signature sig)

Methods in net.sf.tweety.logics.pl.semantics with parameters of type PossibleWorld

Modifier and Type	Method and Description
int	PossibleWorld.compareTo(PossibleWorld arg0)

Uses of PossibleWorld in net.sf.tweety.logics.pl.syntax

Methods in net.sf.tweety.logics.pl.syntax that return types with arguments of type PossibleWorld

Modifier and Type	Method and Description
Set<PossibleWorld>	PropositionalFormula.getModels() Returns the set of models of this formula wrt.
Set<PossibleWorld>	Conjunction.getModels(PropositionalSignature sig)
Set<PossibleWorld>	Proposition.getModels(PropositionalSignature sig)
Set<PossibleWorld>	Disjunction.getModels(PropositionalSignature sig)
abstract Set<PossibleWorld>	PropositionalFormula.getModels(PropositionalSignature sig) Returns the set of models of this formula wrt.
Set<PossibleWorld>	Contradiction.getModels(PropositionalSignature sig)
Set<PossibleWorld>	Tautology.getModels(PropositionalSignature sig)
Set<PossibleWorld>	Negation.getModels(PropositionalSignature sig)