#include <FormulasIndefinite.h>


Public Member Functions | |
| BayesRule (IndefiniteTruthValue *const &TVa, IndefiniteTruthValue *const &TVc, IndefiniteTruthValue *const &TVac) | |
| IndefiniteTruthValue * | solve () |
Definition at line 224 of file FormulasIndefinite.h.
| opencog::pln::BayesRule::BayesRule | ( | IndefiniteTruthValue *const & | TVa, | |
| IndefiniteTruthValue *const & | TVc, | |||
| IndefiniteTruthValue *const & | TVac | |||
| ) |
Definition at line 648 of file FormulasIndefinite.cc.
References opencog::pln::IndefiniteRule::IndefiniteRule(), and opencog::pln::IndefiniteRule::tvset.
| IndefiniteTruthValue * opencog::pln::BayesRule::solve | ( | ) | [virtual] |
Reimplemented from opencog::pln::IndefiniteRule.
Definition at line 660 of file FormulasIndefinite.cc.
References opencog::pln::IndefiniteRule::conclusion(), and opencog::pln::IndefiniteRule::tvset.

1.5.6