Uses of Class
org.tweetyproject.logics.rcl.syntax.RclBeliefSet
Package
Description
-
Uses of RclBeliefSet in org.tweetyproject.logics.rcl.parser
-
Uses of RclBeliefSet in org.tweetyproject.logics.rcl.reasoner
Modifier and TypeMethodDescriptionSimpleRelationalCReasoner.getModel(RclBeliefSet bbase)
SimpleRelationalCReasoner.getModel(RclBeliefSet bs, FolSignature signature)
Retrieves the C representation of the given belief set wrt.SimpleRelationalCReasoner.getModels(RclBeliefSet bbase)
SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query)
SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query, FolSignature signature)
Queries the given belief set wrt. -
Uses of RclBeliefSet in org.tweetyproject.logics.rcl.semantics
Modifier and TypeMethodDescriptionboolean
RelationalRankingFunction.satisfies(RclBeliefSet beliefBase)