Uses of Class
net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet

Packages that use RpclBeliefSet

Package	Description
net.sf.tweety.logics.rpcl.parser
net.sf.tweety.logics.rpcl.reasoner
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax

Uses of RpclBeliefSet in net.sf.tweety.logics.rpcl.parser

Methods in net.sf.tweety.logics.rpcl.parser that return RpclBeliefSet

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

Uses of RpclBeliefSet in net.sf.tweety.logics.rpcl.reasoner

Methods in net.sf.tweety.logics.rpcl.reasoner with parameters of type RpclBeliefSet

Modifier and Type	Method and Description
RpclProbabilityDistribution<?>	RpclMeReasoner.getModel(RpclBeliefSet bbase)
RpclProbabilityDistribution<?>	RpclMeReasoner.getModel(RpclBeliefSet kb, net.sf.tweety.logics.fol.syntax.FolSignature signature) Determines the ME distribution of the given knowlege base wrt.
Collection<RpclProbabilityDistribution<?>>	RpclMeReasoner.getModels(RpclBeliefSet bbase)
Double	RpclMeReasoner.query(RpclBeliefSet beliefbase, net.sf.tweety.logics.fol.syntax.FolFormula formula)
Double	RpclMeReasoner.query(RpclBeliefSet beliefbase, net.sf.tweety.logics.fol.syntax.FolFormula query, net.sf.tweety.logics.fol.syntax.FolSignature signature) Queries the knowledge base wrt.

Uses of RpclBeliefSet in net.sf.tweety.logics.rpcl.semantics

Methods in net.sf.tweety.logics.rpcl.semantics with parameters of type RpclBeliefSet

Modifier and Type	Method and Description
boolean	RpclProbabilityDistribution.satisfies(RpclBeliefSet kb)
boolean	CondensedProbabilityDistribution.satisfies(RpclBeliefSet beliefBase)

Uses of RpclBeliefSet in net.sf.tweety.logics.rpcl.syntax

Methods in net.sf.tweety.logics.rpcl.syntax that return RpclBeliefSet

Modifier and Type	Method and Description
RpclBeliefSet	RpclBeliefSet.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> a, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> b) Exchanges every occurence of "a" by "b" and vice versa.