Uses of Class
org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet
Packages that use RpclBeliefSet
Package
Description
-
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.parser
Methods in org.tweetyproject.logics.rpcl.parser that return RpclBeliefSet -
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.reasoner
Methods in org.tweetyproject.logics.rpcl.reasoner with parameters of type RpclBeliefSetModifier and TypeMethodDescriptionRpclMeReasoner.getModel
(RpclBeliefSet bbase) RpclMeReasoner.getModel
(RpclBeliefSet kb, FolSignature signature) Determines the ME distribution of the given knowlege base wrt.RpclMeReasoner.getModels
(RpclBeliefSet bbase) RpclMeReasoner.query
(RpclBeliefSet beliefbase, FolFormula formula) RpclMeReasoner.query
(RpclBeliefSet beliefbase, FolFormula query, FolSignature signature) Queries the knowledge base wrt. -
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.semantics
Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type RpclBeliefSetModifier and TypeMethodDescriptionboolean
CondensedProbabilityDistribution.satisfies
(RpclBeliefSet beliefBase) boolean
RpclProbabilityDistribution.satisfies
(RpclBeliefSet kb) -
Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.syntax
Methods in org.tweetyproject.logics.rpcl.syntax that return RpclBeliefSetModifier and TypeMethodDescriptionExchanges every occurence of "a" by "b" and vice versa.