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__CRule.html | 965 +++++++++++++++++++++++++++ 1 file changed, 965 insertions(+) create mode 100644 docs/doxygen/nel/class_NLAILOGIC__CRule.html (limited to 'docs/doxygen/nel/class_NLAILOGIC__CRule.html') diff --git a/docs/doxygen/nel/class_NLAILOGIC__CRule.html b/docs/doxygen/nel/class_NLAILOGIC__CRule.html new file mode 100644 index 00000000..8a1d1a7c --- /dev/null +++ b/docs/doxygen/nel/class_NLAILOGIC__CRule.html @@ -0,0 +1,965 @@ + + + + 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::CRule Class Reference

#include <rule.h> +

+Inheritance diagram for NLAILOGIC::CRule

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

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

Public Methods

 CRule ()
 CRule (std::list<CFactPattern *> &, std::list<CFactPattern *> &)
 CRule (const CRule &)
virtual void init (NLAIAGENT::IObjectIA *)
 Init method alows to init the attribut of an object. More...

 ~CRule ()
void addConc (CFactPattern *)
void setCond (CClause &)
void forward (CVarSet *)
virtual void addConflicts ()
virtual const NLAIC::CIdentType& getType () const
 getType return a unique string how represente the class, it can be the name of the class. More...

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 void getDebugString (char *text) 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...

CValueSet* unifyLiaisonBack (CValueSet *, std::list<NLAIAGENT::IObjetOp *> &, std::vector<sint32> &, bool &)
CVarSet* backWard (CFactPattern *)
CVarSet* backward (CFactPattern *, std::vector<sint32> &, std::vector<sint32> &)
void backward ( std::list<CValueSet *> * )
std::list<CValueSet *>* unifyBack (CFactPattern *)
void getPosListBackward (sint32 , sint32 , std::vector<sint32> &)
void getPosListForward (sint32 , sint32 , std::vector<sint32> &)

Static Public Attributes

const NLAIC::CIdentType IdRule

Private Methods

void getConcPosList (sint32, sint32, std::vector<sint32> &)

Private Attributes

std::vector<IBaseAssert *> _Concs
std::vector< std::vector<sint32> > _PosVarsConc
+

Constructor & Destructor Documentation

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CRule::CRule ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 29 of file rule.cpp.

+

+ + + + +
+ + + + + + + + + + +
+NLAILOGIC::CRule::CRule ( + +std::list< CFactPattern *>& conds, +
+std::list< CFactPattern *>& concs ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 33 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CRule::CRule ( + +const CRule & c ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 43 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CRule::~CRule ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 84 of file rule.cpp.

+

Member Function Documentation

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CRule::addConc ( + +CFactPattern * conc ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 101 of file rule.cpp.

+

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

+ +

+Reimplemented from NLAILOGIC::CClause. +

+Definition at line 165 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+CVarSet * NLAILOGIC::CRule::backWard ( + +CFactPattern * fp ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 278 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CRule::backward ( + +std::list< CValueSet *>* vs ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 383 of file rule.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + +
+CVarSet* NLAILOGIC::CRule::backward ( + +CFactPattern *, +
+std::vector< sint32 >&, +
+std::vector< sint32 >& ) +
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + +
+const NLAIC::IBasicType * NLAILOGIC::CRule::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::CClause. +

+Definition at line 88 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CRule::forward ( + +CVarSet * fp ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 160 of file rule.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + +
+void NLAILOGIC::CRule::getConcPosList ( + +sint32, +
+sint32, +
+std::vector< sint32 >& ) [private] +
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CRule::getDebugString ( + +char * t ) 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::CClause. +

+Definition at line 236 of file rule.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + +
+void NLAILOGIC::CRule::getPosListBackward ( + +sint32 no_conc, +
+sint32 no_cond, +
+std::vector< sint32 >& cond_pos ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 442 of file rule.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + +
+void NLAILOGIC::CRule::getPosListForward ( + +sint32 no_cond, +
+sint32 no_conc, +
+std::vector< sint32 >& conc_pos ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 461 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+const NLAIC::CIdentType & NLAILOGIC::CRule::getType ( + +void ) const [virtual] +
+
+ + + + + +
+   + + +

+getType return a unique string how represente the class, it can be the name of the class. +

+This function is used for the sytem regstry class (see the definition of the template class Gen::CRegistry). +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 231 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CRule::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 NLAILOGIC::CClause. +

+Definition at line 193 of file rule.cpp.

+

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

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

+ +

+Reimplemented from NLAILOGIC::CClause. +

+Definition at line 94 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CRule::setCond ( + +CClause & c ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 67 of file rule.cpp.

+

+ + + + +
+ + + + + + +
+std::list< CValueSet *>* NLAILOGIC::CRule::unifyBack ( + +CFactPattern * fp ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 316 of file rule.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + + + + + +
+CValueSet* NLAILOGIC::CRule::unifyLiaisonBack ( + +CValueSet * liaison, +
+std::list< NLAIAGENT::IObjetOp *>&, +
+std::vector< sint32 >&, +
+bool & ) +
+
+ + + + + +
+   + + +

+

+

Member Data Documentation

+

+ + + + +
+ + + + + +
+const NLAIC::CIdentType CRule::IdRule [static] +
+
+ + + + + +
+   + + +

+Initializer:

NLAIC::CIdentType( "Rule", NLAIC::CSelfClassFactory(CRule()), 
+                NLAIC::CTypeOfObject::tLogic,
+                NLAIC::CTypeOfOperator::opAdd )
+

+Definition at line 344 of file static_def_init.cpp.

+

+ + + + +
+ + + + + +
+std::vector< IBaseAssert *> NLAILOGIC::CRule::_Concs [private] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 45 of file rule.h.

+

+ + + + +
+ + + + + +
+std::vector< std::vector< sint32 > > NLAILOGIC::CRule::_PosVarsConc [private] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 46 of file rule.h.

+

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