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 Description RpclBeliefSet
RpclParser. parseBeliefBase(java.io.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 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 net.sf.tweety.logics.rpcl.semantics
Methods in net.sf.tweety.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 net.sf.tweety.logics.rpcl.syntax
Methods in net.sf.tweety.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.
-