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 TypeMethodDescriptionbooleanCondensedProbabilityDistribution.satisfies(RpclBeliefSet beliefBase)booleanRpclProbabilityDistribution.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.