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

Subclasses with type arguments of type RpclBeliefSet in org.tweetyproject.logics.rpcl.parser

Modifier and Type	Class	Description
class	RpclParser	This class implements a parser for relational probabilistic conditional logic.

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

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

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

Classes in org.tweetyproject.logics.rpcl.reasoner that implement interfaces with type arguments of type RpclBeliefSet

Modifier and Type	Class	Description
class	RpclMeReasoner	General ME-reasoner for RPCL.
class	RpclMeReasoner	General ME-reasoner for RPCL.

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.
Collection<RpclProbabilityDistribution<?>>	RpclMeReasoner.getModels(RpclBeliefSet bbase)
Double	RpclMeReasoner.query(RpclBeliefSet beliefbase, FolFormula formula)
Double	RpclMeReasoner.query(RpclBeliefSet beliefbase, FolFormula query, FolSignature signature)	Queries the knowledge base wrt.

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

Subclasses with type arguments of type RpclBeliefSet in org.tweetyproject.logics.rpcl.semantics

Modifier and Type	Class	Description
class	RpclProbabilityDistribution<T extends Interpretation<FolBeliefSet,FolFormula>>	Objects of this class represent probability distributions on the interpretations of an underlying first-order signature for a relational probabilistic conditional knowledge base.

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.