Uses of Class
org.tweetyproject.logics.pl.semantics.PossibleWorld

Packages that use PossibleWorld

Package	Description
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.pcl.util
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.translators.adfcl

Uses of PossibleWorld in org.tweetyproject.logics.cl.semantics

Methods in org.tweetyproject.logics.cl.semantics that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	RankingFunction.getPlausibleWorlds()	Returns all interpretations that are mapped to 0
Set<PossibleWorld>	RankingFunction.getPossibleWorlds()	Returns all interpretations that are mapped to a rank unequal to INFINITY.

Methods in org.tweetyproject.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.
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, 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 org.tweetyproject.logics.pcl.reasoner

Methods in org.tweetyproject.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 Collection<ProbabilityDistribution<PossibleWorld>>	AbstractPclReasoner.getModels(PclBeliefSet bbase)
Collection<ProbabilityDistribution<PossibleWorld>>	DefaultMeReasoner.getModels(PclBeliefSet bbase)
Collection<ProbabilityDistribution<PossibleWorld>>	GeneralizedMeReasoner.getModels(PclBeliefSet bbase)

Uses of PossibleWorld in org.tweetyproject.logics.pcl.util

Method parameters in org.tweetyproject.logics.pcl.util with type arguments of type PossibleWorld

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

Uses of PossibleWorld in org.tweetyproject.logics.pl.analysis

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.semantics

Methods in org.tweetyproject.logics.pl.semantics that return PossibleWorld

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

Methods in org.tweetyproject.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.
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Signature sig)

Methods in org.tweetyproject.logics.pl.semantics with parameters of type PossibleWorld

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

Uses of PossibleWorld in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.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>	ExclusiveDisjunction.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)

Uses of PossibleWorld in org.tweetyproject.logics.qbf.semantics

Methods in org.tweetyproject.logics.qbf.semantics with parameters of type PossibleWorld

Modifier and Type	Method	Description
int	QbPossibleWorld.compareTo(PossibleWorld o)

Uses of PossibleWorld in org.tweetyproject.logics.qbf.syntax

Methods in org.tweetyproject.logics.qbf.syntax that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	ExistsQuantifiedFormula.getModels(PlSignature sig)
Set<PossibleWorld>	ForallQuantifiedFormula.getModels(PlSignature sig)

Uses of PossibleWorld in org.tweetyproject.logics.translators.adfcl

Methods in org.tweetyproject.logics.translators.adfcl that return types with arguments of type PossibleWorld

Modifier and Type	Method	Description
Set<PossibleWorld>	Indecision.getModels(PlSignature sig)
Set<PossibleWorld>	WeakNegation.getModels(PlSignature sig)