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

Packages that use PossibleWorld

Package	Description
net.sf.tweety.arg.prob.test.deductive
net.sf.tweety.logics.cl
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.pcl
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.pl.util

Uses of PossibleWorld in net.sf.tweety.arg.prob.test.deductive

Fields in net.sf.tweety.arg.prob.test.deductive with type parameters of type PossibleWorld

Modifier and Type	Field and Description
private ProbabilityFunction<PossibleWorld>	DeductiveArgMeReasoner.meDistribution The ME-distribution this reasoner bases on.

Methods in net.sf.tweety.arg.prob.test.deductive that return types with arguments of type PossibleWorld

Modifier and Type	Method and Description
private ProbabilityFunction<PossibleWorld>	DeductiveArgMeReasoner.computeMeDistribution() Computes the ME-distribution this reasoner bases on.
ProbabilityFunction<PossibleWorld>	DeductiveArgMeReasoner.getMeDistribution() Returns the ME-distribution this reasoner bases on.

Method parameters in net.sf.tweety.arg.prob.test.deductive with type arguments of type PossibleWorld

Modifier and Type	Method and Description
private Term	DeductiveArgMeReasoner.getSumOfWorlds(PropositionalFormula f, java.util.Map<PossibleWorld,Variable> worlds2vars) Returns the sum (as a term) of all variables of worlds satisfying the first formula.

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

Fields in net.sf.tweety.logics.cl with type parameters of type PossibleWorld

Modifier and Type	Field and Description
private java.util.Set<PossibleWorld>	ZReasoner.omega

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

Modifier and Type	Method and Description
private Statement	CReasoner.getRankConstraint(PossibleWorld w, IntegerVariable ranki, java.util.Map<Conditional,IntegerVariable> kappa_pos, java.util.Map<Conditional,IntegerVariable> kappa_neg) For the given interpretation "i" and the given kappas, this method computes the constraint k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj-

Method parameters in net.sf.tweety.logics.cl with type arguments of type PossibleWorld

Modifier and Type	Method and Description
private Statement	CReasoner.getAcceptanceConstraint(Conditional cond, java.util.Map<PossibleWorld,IntegerVariable> ranks) For the given conditional (B|A) and the given ranks of possible worlds, this method constructs the inequation k(AB) < k(A-B) where k(AB) is the minimum of the ranks of the interpretations that satisfy AB.

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

Fields in net.sf.tweety.logics.cl.semantics with type parameters of type PossibleWorld

Modifier and Type	Field and Description
private java.util.Map<PossibleWorld,java.lang.Integer>	RankingFunction.ranks The ranks of the possible worlds.

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

Modifier and Type	Method and Description
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 and 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

Fields in net.sf.tweety.logics.pcl with type parameters of type PossibleWorld

Modifier and Type	Field and Description
private ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.meDistribution The ME-distribution this reasoner bases on.
private ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.meDistribution The ME-distribution this reasoner bases on.

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

Modifier and Type	Method and Description
private ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.computeMeDistribution() Computes the ME-distribution this reasoner bases on.
private ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.computeMeDistribution() Computes the ME-distribution this reasoner bases on.
ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.getMeDistribution() Returns the ME-distribution this reasoner bases on.
ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.getMeDistribution() Returns the ME-distribution this reasoner bases on.

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 and 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

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

Modifier and Type	Field and Description
private java.util.Collection<java.util.List<PossibleWorld>>	HsInconsistencyMeasurementProcess.hittingSets The current candidate populations for a hitting set.

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

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

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

Fields in net.sf.tweety.logics.pl.semantics declared as PossibleWorld

Modifier and Type	Field and Description
private PossibleWorld	NicePossibleWorld.world Implementation of possible world with a small memory print and fast satisfication tests.

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

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

Fields in net.sf.tweety.logics.pl.util with type parameters of type PossibleWorld

Modifier and Type	Field and Description
private java.util.List<PossibleWorld>	RandomPlBeliefSetSampler.allWorlds All possible worlds
private java.util.List<PossibleWorld>	EnumeratingPlBeliefSetSampler.allWorlds All possible worlds