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	Description
double	DalalDistance.distance(PossibleWorld a, PossibleWorld b)
abstract double	PossibleWorldDistance.distance(PossibleWorld a, PossibleWorld b)
double	PossibleWorldDistance.distance(PlFormula 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	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	Description
static Set<PossibleWorld>	PossibleWorld.getAllPossibleWorlds(Collection<Proposition> signature)	Returns the set of all possible worlds for the given propositional signature.
static Set<PossibleWorld>	PossibleWorld.getAllPossibleWorlds(PlSignature signature)	Returns the set of all possible worlds for the given propositional signature.
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset()
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Collection<? extends net.sf.tweety.commons.Formula> formulas)
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,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	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	Description
Set<PossibleWorld>	Conjunction.getModels(PlSignature sig)
Set<PossibleWorld>	Contradiction.getModels(PlSignature sig)
Set<PossibleWorld>	Disjunction.getModels(PlSignature sig)
Set<PossibleWorld>	Equivalence.getModels(PlSignature sig)
Set<PossibleWorld>	Implication.getModels(PlSignature sig)
Set<PossibleWorld>	Negation.getModels(PlSignature sig)
Set<PossibleWorld>	PlFormula.getModels()	Returns the set of models of this formula wrt.
abstract Set<PossibleWorld>	PlFormula.getModels(PlSignature sig)	Returns the set of models of this formula wrt.
Set<PossibleWorld>	Proposition.getModels(PlSignature sig)
Set<PossibleWorld>	Tautology.getModels(PlSignature sig)