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

Packages that use PossibleWorld

Package	Description
net.sf.tweety.logics.cl.reasoner
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.pl.util
net.sf.tweety.logics.qbf.semantics
net.sf.tweety.logics.qbf.syntax

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

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

Modifier and Type	Method	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.reasoner with type arguments of type PossibleWorld

Modifier and Type	Method	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.
private boolean	ZReasoner.isTolerated(Conditional f, ClBeliefSet kb, java.util.Set<PossibleWorld> omega)	Checks whether or not the given formula is tolerated by the knowledge base, i.e., there is a world omega that satisfies the formula and does not falsify each conditional (B|A) in the knowledge base (it satisfies the material implication A => B).
private java.util.ArrayList<ClBeliefSet>	ZReasoner.partition(ClBeliefSet kb, java.util.Set<PossibleWorld> omega)	Returns a partitioning of a knowledge base into partitions containing all conditionals that tolerate the remaining set of conditionals of a knowledge base.

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

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

Modifier and Type	Field	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	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

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

Modifier and Type	Field	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	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>	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.pl.util

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

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

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)