opencog::pln::NOTFormula Class Reference

#include <Formulas.h>

Inheritance diagram for opencog::pln::NOTFormula:

[legend]

Collaboration diagram for opencog::pln::NOTFormula:

[legend]

List of all members.

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

---

Detailed Description

Definition at line 399 of file Formulas.h.

---

Member Function Documentation

TruthValue * opencog::pln::NOTFormula::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< 1 >.

Definition at line 714 of file Formulas.cc.

References opencog::pln::ArityFreeFormula< TVType, ResultType >::checkTruthValue(), DebugPTLBodyFor_Link, and PTLFormulaBodyFor_Link.

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