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

Packages that use PossibleWorld
Package	Description
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.pcl.reasoner
net.sf.tweety.logics.pcl.util
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.qbf.semantics
net.sf.tweety.logics.qbf.syntax

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

Methods in net.sf.tweety.logics.cl.semantics that return types with arguments of type PossibleWorld
Modifier and Type	Method	Description
`java.util.Set<PossibleWorld>`	RankingFunction.`getPlausibleWorlds()`	Returns all interpretations that are mapped to 0
`java.util.Set<PossibleWorld>`	RankingFunction.`getPossibleWorlds()`	Returns all interpretations that are mapped to a rank unequal to INFINITY.

Methods in net.sf.tweety.logics.cl.semantics with parameters of type PossibleWorld
Modifier and Type	Method	Description
`static boolean`	RankingFunction.`falsifies(PossibleWorld w, Conditional c)`	Checks whether the given possible world w falsifies the given conditional (B\|A), i.e.
`java.lang.Integer`	RankingFunction.`rank(PossibleWorld w)`	Gets the rank of the given possible world.
`static boolean`	RankingFunction.`satisfies(PossibleWorld w, Conditional c)`	Checks whether the given possible world w satisfies the given conditional (B\|A), i.e.
`void`	RankingFunction.`setRank(PossibleWorld w, java.lang.Integer value)`	Sets the rank for the given possible world.
`static boolean`	RankingFunction.`verifies(PossibleWorld w, Conditional c)`	Checks whether the given possible world w verifies the given conditional (B\|A), i.e.

Uses of PossibleWorld in net.sf.tweety.logics.pcl.reasoner

Methods in net.sf.tweety.logics.pcl.reasoner that return types with arguments of type PossibleWorld
Modifier and Type	Method	Description
`abstract ProbabilityDistribution<PossibleWorld>`	AbstractPclReasoner.`getModel(PclBeliefSet beliefbase)`
`ProbabilityDistribution<PossibleWorld>`	DefaultMeReasoner.`getModel(PclBeliefSet beliefbase)`
`ProbabilityDistribution<PossibleWorld>`	DefaultMeReasoner.`getModel(PclBeliefSet bs, PlSignature signature)`	Computes the ME-distribution this reasoner bases on.
`ProbabilityDistribution<PossibleWorld>`	GeneralizedMeReasoner.`getModel(PclBeliefSet beliefbase)`
`ProbabilityDistribution<PossibleWorld>`	GeneralizedMeReasoner.`getModel(PclBeliefSet bs, PlSignature signature)`	Computes the ME-distribution this reasoner bases on.
`abstract java.util.Collection<ProbabilityDistribution<PossibleWorld>>`	AbstractPclReasoner.`getModels(PclBeliefSet bbase)`
`java.util.Collection<ProbabilityDistribution<PossibleWorld>>`	DefaultMeReasoner.`getModels(PclBeliefSet bbase)`
`java.util.Collection<ProbabilityDistribution<PossibleWorld>>`	GeneralizedMeReasoner.`getModels(PclBeliefSet bbase)`

Uses of PossibleWorld in net.sf.tweety.logics.pcl.util

Method parameters in net.sf.tweety.logics.pcl.util with type arguments of type PossibleWorld
Modifier and Type	Method	Description
`static org.ojalgo.matrix.PrimitiveMatrix`	OjAlgoPclUtils.`createConstraintMatrix(PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)`	Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
`static void`	MatlabUtils.`printAntecedenceVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)`	Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
`static void`	MatlabUtils.`printConditionalVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)`	Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
`static void`	MatlabUtils.`printConstraintMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)`	Print constraint matrix for belief set and possible worlds to output stream.

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 java.util.Set<PossibleWorld>`	PossibleWorld.`getAllPossibleWorlds(java.util.Collection<Proposition> signature)`	Returns the set of all possible worlds for the given propositional signature.
`static java.util.Set<PossibleWorld>`	PossibleWorld.`getAllPossibleWorlds(PlSignature signature)`	Returns the set of all possible worlds for the given propositional signature.
`InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>`	PossibleWorldIterator.`reset()`
`InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>`	PossibleWorldIterator.`reset(java.util.Collection<? extends Formula> formulas)`
`InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>`	PossibleWorldIterator.`reset(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
`java.util.Set<PossibleWorld>`	Conjunction.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	Contradiction.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	Disjunction.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	Equivalence.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	ExclusiveDisjunction.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	Implication.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	Negation.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	PlFormula.`getModels()`	Returns the set of models of this formula wrt.
`abstract java.util.Set<PossibleWorld>`	PlFormula.`getModels(PlSignature sig)`	Returns the set of models of this formula wrt.
`java.util.Set<PossibleWorld>`	Proposition.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	Tautology.`getModels(PlSignature sig)`

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

Methods in net.sf.tweety.logics.qbf.semantics with parameters of type PossibleWorld
Modifier and Type Method Description

int QbPossibleWorld.compareTo(PossibleWorld o)

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

Methods in net.sf.tweety.logics.qbf.syntax that return types with arguments of type PossibleWorld
Modifier and Type	Method	Description
`java.util.Set<PossibleWorld>`	ExistsQuantifiedFormula.`getModels(PlSignature sig)`
`java.util.Set<PossibleWorld>`	ForallQuantifiedFormula.`getModels(PlSignature sig)`