opencog::pln::EXISTFormula Class Reference

#include <Formulas.h>

Inheritance diagram for opencog::pln::EXISTFormula:

[legend]

Collaboration diagram for opencog::pln::EXISTFormula:

[legend]

List of all members.

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

---

Detailed Description

Definition at line 511 of file Formulas.h.

---

Member Function Documentation

TruthValue * opencog::pln::EXISTFormula::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< FORALL_MAX_ARITY >.

Definition at line 846 of file Formulas.cc.

References opencog::pln::Formula< _TVN >::multiCompute(), and opencog::pln::NotFormula::simpleCompute().

---

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

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