opencog::pln::InversionFormula Class Reference

#include <Formulas.h>

Inheritance diagram for opencog::pln::InversionFormula:

[legend]

Collaboration diagram for opencog::pln::InversionFormula:

[legend]

List of all members.

Public Member Functions
TruthValue *	simpleCompute (TruthValue **TV, int N, long U=DefaultU) const

---

Detailed Description

Definition at line 186 of file Formulas.h.

---

Member Function Documentation

TruthValue * opencog::pln::InversionFormula::simpleCompute	(	TruthValue **	TV,
		int	N,
		long	U = DefaultU
	)			const [virtual]

Simple compute do not handle CompositeTruthValues. It's called by compute() method, which handles CTVs.

Reimplemented from opencog::pln::Formula< 3 >.

Reimplemented in opencog::pln::DeductionGeometryFormula.

Definition at line 156 of file Formulas.cc.

References opencog::pln::ArityFreeFormula< TVType, ResultType >::checkTruthValue(), DebugPTLBodyFor_Link1Node2, SPCTools::f, isAllIndefiniteTruthValueType(), opencog::pln::max(), and PTLFormulaBodyFor_Link1Node2.

Here is the caller graph for this function:

---

The documentation for this class was generated from the following files:

• opencog/reasoning/pln/formulas/Formulas.h
• opencog/reasoning/pln/formulas/Formulas.cc