Uses of Class
org.tweetyproject.logics.translators.adfcl.PriestWorldAdapted
-
Uses of PriestWorldAdapted in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionRankingFunctionThreeValued.getPlausibleWorlds()
Returns all interpretations that are mapped to 0RankingFunctionThreeValued.getPriestWorlds()
Returns all interpretations that are mapped to a rank unequal to INFINITY.PriestWorldIterator.reset()
PriestWorldIterator.reset(Collection<? extends Formula> formulas)
Modifier and TypeMethodDescriptiondouble
DalalDistanceThreeValued.distance(Collection<PriestWorldAdapted> coll, PriestWorldAdapted b)
double
DalalDistanceThreeValued.distance(PriestWorldAdapted a, PriestWorldAdapted b)
Based on new version of PriestWorld_adaptedstatic boolean
RankingFunctionThreeValued.falsifies(PriestWorldAdapted w, Conditional c)
Checks whether the given possible world w falsifies the given conditional (B|A), i.e.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.Modifier and TypeMethodDescriptiondouble
DalalDistanceThreeValued.distance(Collection<PriestWorldAdapted> coll, PriestWorldAdapted b)
ModifierConstructorDescriptionPriestWorldAdapted(PriestWorldAdapted other)
Creates a new world which is a copy of the given world