From 0ea5fc66924303d1bf73ba283a383e2aadee02f2 Mon Sep 17 00:00:00 2001 From: neodarz Date: Sat, 11 Aug 2018 20:21:34 +0200 Subject: Initial commit --- docs/doxygen/nel/class_NLAILOGIC__CClause.html | 1337 ++++++++++++++++++++++++ 1 file changed, 1337 insertions(+) create mode 100644 docs/doxygen/nel/class_NLAILOGIC__CClause.html (limited to 'docs/doxygen/nel/class_NLAILOGIC__CClause.html') diff --git a/docs/doxygen/nel/class_NLAILOGIC__CClause.html b/docs/doxygen/nel/class_NLAILOGIC__CClause.html new file mode 100644 index 00000000..99c398c3 --- /dev/null +++ b/docs/doxygen/nel/class_NLAILOGIC__CClause.html @@ -0,0 +1,1337 @@ + + + + nevrax.org : docs + + + + + + + + + + + + + + +
# Home   # nevrax.com   
+ + + + +
Nevrax
+ + + + + + + + + + +
+ + +
+ Nevrax.org
+ + + + + + + +
#News
#Mailing-list
#Documentation
#CVS
#Bugs
#License
+
+ + + 		+ + +
+Docs + +
+  + + + + + +
Documentation 
+ +
+Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members   Related Pages   Search  
+

NLAILOGIC::CClause Class Reference

#include <clause.h> +

+Inheritance diagram for NLAILOGIC::CClause

Inheritance graph
+ + + + + + + + + + + + + +
[legend]
Collaboration diagram for NLAILOGIC::CClause:

Collaboration graph
+ + + + + + + + +
[legend]
List of all members. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Public Methods

 CClause ()
 CClause (const CClause &)
 CClause (std::list<CFactPattern *> &)
 ~CClause ()
virtual void addCond (CFactPattern *cond)
virtual void getDebugString (char *) const
 This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user. More...

virtual CVarSet* unify (CVarSet *)
CValueSet* unifyLiaison ( const CValueSet *, std::list<NLAIAGENT::IObjetOp *> *, std::vector<sint32> &)
virtual void propagate (std::list<NLAIAGENT::IObjetOp *> *, std::vector<sint32> &)
virtual void propagate (CFactPattern *)
std::list<CClause *>* getInputs ()
virtual const NLAIC::IBasicType* clone () const
 This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne. More...

virtual const NLAIC::IBasicType* newInstance () const
 This function allow a new instance, that mean that the class is a class factory. More...

virtual NLAIAGENT::IObjetOp* operator! () const
 throw (NLAIE::CExceptionNotImplemented). More...

virtual NLAIAGENT::IObjetOp* operator!= (NLAIAGENT::IObjetOp &a) const
 throw (NLAIE::CExceptionNotImplemented). More...

virtual NLAIAGENT::IObjetOp* operator== (NLAIAGENT::IObjetOp &a) const
 throw (NLAIE::CExceptionNotImplemented). More...

virtual bool isTrue () const
 throw (NLAIE::CExceptionNotImplemented). More...

virtual float truthValue () const
 Returns a value in [0,1]. More...

void showConflicts ()
void showBuffer ()
void showLiaisons ()
virtual void addBuffer ()
virtual void addConflicts ()
std::vector<IBaseAssert *>& getAssert ()
sint32 nbVars ()
void init (NLAIAGENT::IObjectIA *)
 Init method alows to init the attribut of an object. More...


Static Public Attributes

const NLAIC::CIdentType IdClause

Protected Methods

sint32 findAssert (IBaseAssert *)

Protected Attributes

std::list<CBoolAssert *> _SimpleConds
std::vector<IBaseBoolType *> _Conds
std::vector< std::vector<sint32> > _PosVarsCond
std::list< CValueSet *> _Liaisons
std::list< CValueSet *> _BufLiaisons
std::list< CValueSet *> _Conflits
sint32 _NbValid
std::vector<IBaseAssert *> _Asserts
bool _FirstOrderTrue
+

Constructor & Destructor Documentation

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CClause::CClause ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 30 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CClause::CClause ( + +const CClause & cl ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 48 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CClause::CClause ( + +std::list< CFactPattern *>& conds ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 36 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CClause::~CClause ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 74 of file clause.cpp.

+

Member Function Documentation

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::addBuffer ( + +) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 331 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::addCond ( + +CFactPattern * cond ) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 124 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::addConflicts ( + +) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 344 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+const NLAIC::IBasicType * NLAILOGIC::CClause::clone ( + +void ) const [virtual] +
+
+ + + + + +
+   + + +

+This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne. +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 98 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+sint32 NLAILOGIC::CClause::findAssert ( + +IBaseAssert * a ) [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 110 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+std::vector< IBaseAssert *>& NLAILOGIC::CClause::getAssert ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 349 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::getDebugString ( + +char * txt ) const [virtual] +
+
+ + + + + +
+   + + +

+This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user. +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 183 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+std::list< CClause *>* NLAILOGIC::CClause::getInputs ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 371 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::init ( + +IObjectIA * params ) [virtual] +
+
+ + + + + +
+   + + +

+Init method alows to init the attribut of an object. +

+the maparmetre is in more time a list of IObjectIA. +

+Reimplemented from NLAIAGENT::IObjectIA. +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 381 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+bool NLAILOGIC::CClause::isTrue ( + +) const [virtual] +
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 276 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+sint32 NLAILOGIC::CClause::nbVars ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 376 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+const NLAIC::IBasicType * NLAILOGIC::CClause::newInstance ( + +void ) const [virtual] +
+
+ + + + + +
+   + + +

+This function allow a new instance, that mean that the class is a class factory. +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 104 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+IObjetOp * NLAILOGIC::CClause::operator! ( + +) const [virtual] +
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 265 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+IObjetOp * NLAILOGIC::CClause::operator!= ( + +NLAIAGENT::IObjetOp & a ) const [virtual] +
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 271 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+IObjetOp * NLAILOGIC::CClause::operator== ( + +NLAIAGENT::IObjetOp & a ) const [virtual] +
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAIAGENT::IObjetOp. +

+Definition at line 289 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::propagate ( + +CFactPattern * fp ) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 196 of file clause.cpp.

+

+ + + + +
+ + + + + + + + + + +
+virtual void NLAILOGIC::CClause::propagate ( + +std::list< NLAIAGENT::IObjetOp *>*, +
+std::vector< sint32 >& ) [virtual] +
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::showBuffer ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 305 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::showConflicts ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 294 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CClause::showLiaisons ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 317 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+float NLAILOGIC::CClause::truthValue ( + +) const [virtual] +
+
+ + + + + +
+   + + +

+Returns a value in [0,1]. +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 281 of file clause.cpp.

+

+ + + + +
+ + + + + + +
+CVarSet * NLAILOGIC::CClause::unify ( + +CVarSet * fp ) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 354 of file clause.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + +
+CValueSet* NLAILOGIC::CClause::unifyLiaison ( + +const CValueSet * fp, +
+std::list< NLAIAGENT::IObjetOp *>*, +
+std::vector< sint32 >& ) +
+
+ + + + + +
+   + + +

+

+

Member Data Documentation

+

+ + + + +
+ + + + + +
+const NLAIC::CIdentType CClause::IdClause [static] +
+
+ + + + + +
+   + + +

+Initializer:

NLAIC::CIdentType( "Clause", NLAIC::CSelfClassFactory(CClause()), 
+                NLAIC::CTypeOfObject::tLogic,
+                NLAIC::CTypeOfOperator::opAdd )
+

+Definition at line 340 of file static_def_init.cpp.

+

+ + + + +
+ + + + + +
+std::vector< IBaseAssert *> NLAILOGIC::CClause::_Asserts [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 48 of file clause.h.

+

+ + + + +
+ + + + + +
+std::list< CValueSet *> NLAILOGIC::CClause::_BufLiaisons [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 43 of file clause.h.

+

+ + + + +
+ + + + + +
+std::vector< IBaseBoolType *> NLAILOGIC::CClause::_Conds [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 40 of file clause.h.

+

+ + + + +
+ + + + + +
+std::list< CValueSet *> NLAILOGIC::CClause::_Conflits [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 44 of file clause.h.

+

+ + + + +
+ + + + + +
+bool NLAILOGIC::CClause::_FirstOrderTrue [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 50 of file clause.h.

+

+ + + + +
+ + + + + +
+std::list< CValueSet *> NLAILOGIC::CClause::_Liaisons [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 42 of file clause.h.

+

+ + + + +
+ + + + + +
+sint32 NLAILOGIC::CClause::_NbValid [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 45 of file clause.h.

+

+ + + + +
+ + + + + +
+std::vector< std::vector< sint32 > > NLAILOGIC::CClause::_PosVarsCond [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 41 of file clause.h.

+

+ + + + +
+ + + + + +
+std::list< CBoolAssert *> NLAILOGIC::CClause::_SimpleConds [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 39 of file clause.h.

+

The documentation for this class was generated from the following files: + + + +
                                                                                                                                                                    +
+ + -- cgit v1.2.1