Uses of Class
org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet

Packages that use RpclBeliefSet

Package	Description
org.tweetyproject.logics.rpcl.parser
org.tweetyproject.logics.rpcl.reasoner
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.rpcl.syntax

Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.parser

Methods in org.tweetyproject.logics.rpcl.parser that return RpclBeliefSet

Modifier and Type	Method	Description
RpclBeliefSet	RpclParser.parseBeliefBase(java.io.Reader reader)

Uses of RpclBeliefSet in org.tweetyproject.logics.rpcl.reasoner

Methods in org.tweetyproject.logics.rpcl.reasoner with parameters of type RpclBeliefSet

Modifier and Type	Method	Description
RpclProbabilityDistribution<?>	RpclMeReasoner.getModel(RpclBeliefSet bbase)
RpclProbabilityDistribution<?>	RpclMeReasoner.getModel(RpclBeliefSet kb, FolSignature signature)	Determines the ME distribution of the given knowlege base wrt.
java.util.Collection<RpclProbabilityDistribution<?>>	RpclMeReasoner.getModels(RpclBeliefSet bbase)
java.lang.Double	RpclMeReasoner.query(RpclBeliefSet beliefbase, FolFormula formula)
java.lang.Double	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 RpclBeliefSet

Modifier and Type	Method	Description
boolean	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 RpclBeliefSet

Modifier and Type	Method	Description
RpclBeliefSet	RpclBeliefSet.exchange(Term<?> a, Term<?> b)	Exchanges every occurence of "a" by "b" and vice versa.