Uses of Class
org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted

Packages that use PriestWorldAdapted

Package	Description
org.tweetyproject.logics.translators.adfrevision

Uses of PriestWorldAdapted in org.tweetyproject.logics.translators.adfrevision

Methods in org.tweetyproject.logics.translators.adfrevision that return PriestWorldAdapted

Modifier and Type	Method	Description
PriestWorldAdapted	PriestWorldIterator.next()

Methods in org.tweetyproject.logics.translators.adfrevision that return types with arguments of type PriestWorldAdapted

Modifier and Type	Method	Description
Set<PriestWorldAdapted>	RankingFunctionThreeValued.getPlausibleWorlds()	Returns all interpretations that are mapped to 0
Set<PriestWorldAdapted>	RankingFunctionThreeValued.getPriestWorlds()	Returns all interpretations that are mapped to a rank unequal to INFINITY.
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset(Signature sig)

Methods in org.tweetyproject.logics.translators.adfrevision with parameters of type PriestWorldAdapted

Modifier and Type	Method	Description
double	DalalDistanceThreeValued.distance(Collection<PriestWorldAdapted> coll, PriestWorldAdapted b)
double	DalalDistanceThreeValued.distance(PriestWorldAdapted a, PriestWorldAdapted b)	Based on new version of PriestWorld_adapted
static boolean	RankingFunctionThreeValued.falsifies(PriestWorldAdapted w, Conditional c)	Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
Integer	RankingFunctionThreeValued.rank(PriestWorldAdapted w)	Gets the rank of the given possible world.
static boolean	RankingFunctionThreeValued.satisfies(PriestWorldAdapted w, Conditional c)	Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
void	RankingFunctionThreeValued.setRank(PriestWorldAdapted w, Integer value)	Sets the rank for the given possible world.
static boolean	RankingFunctionThreeValued.verifies(PriestWorldAdapted w, Conditional c)	Checks whether the given possible world w verifies the given conditional (B|A), i.e.

Method parameters in org.tweetyproject.logics.translators.adfrevision with type arguments of type PriestWorldAdapted

Modifier and Type	Method	Description
double	DalalDistanceThreeValued.distance(Collection<PriestWorldAdapted> coll, PriestWorldAdapted b)

Constructors in org.tweetyproject.logics.translators.adfrevision with parameters of type PriestWorldAdapted

Modifier	Constructor	Description
	PriestWorldAdapted(PriestWorldAdapted other)	Creates a new world which is a copy of the given world