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/classNLAILOGIC_1_1CRule.html | 999 ++++++++++++++++++++++++++ 1 file changed, 999 insertions(+) create mode 100644 docs/doxygen/nel/classNLAILOGIC_1_1CRule.html (limited to 'docs/doxygen/nel/classNLAILOGIC_1_1CRule.html') diff --git a/docs/doxygen/nel/classNLAILOGIC_1_1CRule.html b/docs/doxygen/nel/classNLAILOGIC_1_1CRule.html new file mode 100644 index 00000000..a536065b --- /dev/null +++ b/docs/doxygen/nel/classNLAILOGIC_1_1CRule.html @@ -0,0 +1,999 @@ + + + + nevrax.org : docs + + + + + + + + + + + + + + +

Home

nevrax.com

+ + + + +

+ + + + + + + + + + +

+ + +

+ Nevrax.org

+ + + + + + + +

	News
	Mailing-list
	Documentation
	CVS
	Bugs
	License

+ + +

+ + + + + + +

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: +

+ + + + + + + + + + + + + +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 (std::string &) 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. +
+Referenced by clone, and newInstance.
+

+ + + + +
+ + + + + + + + + + + + + + + + + + + +
NLAILOGIC::CRule::CRule ( std::list< CFactPattern * > & ,
std::list< CFactPattern * > &
)
+
+ + + + + +
+ + + +
+ +
+Definition at line 33 of file rule.cpp. +
+References addConc.
+

+ + + + +
+ + + + + + + + + + +
NLAILOGIC::CRule::CRule ( const CRule & )
+
+ + + + + +
+ + + +
+ +
+Definition at line 43 of file rule.cpp. +
+References _Concs, and _PosVarsConc.
+

+ + + + +
+ + + + + + + + + +
NLAILOGIC::CRule::~CRule ( )
+
+ + + + + +
+ + + +
+ +
+Definition at line 84 of file rule.cpp.
+

Member Function Documentation

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CRule::addConc ( CFactPattern * )
+
+ + + + + +
+ + + +
+ +
+Definition at line 101 of file rule.cpp. +
+References NLAILOGIC::CClause::_Asserts, _Concs, _PosVarsConc, NLAILOGIC::CVarSet::_Vars, and NLAILOGIC::CClause::findAssert. +
+Referenced by CRule, and init.
+

+ + + + +
+ + + + + + + + + +
void NLAILOGIC::CRule::addConflicts ( ) [virtual]
+
+ + + + + +
+ + + +
+ +
+Reimplemented from NLAILOGIC::CClause. +
+Definition at line 165 of file rule.cpp. +
+References _Concs, NLAILOGIC::CClause::_Conflits, and _PosVarsConc.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CRule::backward ( std::list< CValueSet * > * )
+
+ + + + + +
+ + + +
+ +
+Definition at line 387 of file rule.cpp. +
+References NLAILOGIC::CClause::_Conds.
+

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

+ + + + +
+ + + + + + + + + + +
CVarSet * NLAILOGIC::CRule::backWard ( CFactPattern * )
+
+ + + + + +
+ + + +
+ +
+Definition at line 280 of file rule.cpp. +
+References _Concs, _PosVarsConc, NLAILOGIC::CVarSet::_Vars, NLAILOGIC::CVarSet::CVarSet, and index.
+

+ + + + +
+ + + + + + + + + +
const NLAIC::IBasicType * NLAILOGIC::CRule::clone ( ) 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. +
+References CRule. +
+Referenced by init.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CRule::forward ( CVarSet * )
+
+ + + + + +
+ + + +
+ +
+Definition at line 160 of file rule.cpp.
+

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

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CRule::getDebugString ( std::string & ) 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 239 of file rule.cpp. +
+References _Concs, NLAILOGIC::CClause::_Conds, and NLAILOGIC::CVarSet::_Vars.
+

+ + + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + +
void NLAILOGIC::CRule::getPosListBackward ( sint32 ,
sint32 ,
std::vector< sint32 > &
)
+
+ + + + + +
+ + + +
+ +
+Definition at line 446 of file rule.cpp. +
+References _PosVarsConc, and NLAILOGIC::CClause::_PosVarsCond.
+

+ + + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + +
void NLAILOGIC::CRule::getPosListForward ( sint32 ,
sint32 ,
std::vector< sint32 > &
)
+
+ + + + + +
+ + + +
+ +
+Definition at line 465 of file rule.cpp. +
+References _PosVarsConc, and NLAILOGIC::CClause::_PosVarsCond.
+

+ + + + +
+ + + + + + + + + +
const NLAIC::CIdentType & NLAILOGIC::CRule::getType ( ) 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 234 of file rule.cpp. +
+References IdRule.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CRule::init ( NLAIAGENT::IObjectIA * ) [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. +
+Definition at line 197 of file rule.cpp. +
+References NLAILOGIC::CVarSet::_Vars, addConc, NLAILOGIC::CClause::CClause, clone, and params.
+

+ + + + +
+ + + + + + + + + +
const NLAIC::IBasicType * NLAILOGIC::CRule::newInstance ( ) 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. +
+References CRule.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CRule::setCond ( CClause & )
+
+ + + + + +
+ + + +
+ +
+Definition at line 67 of file rule.cpp.
+

+ + + + +
+ + + + + + + + + + +
std::list< CValueSet * > * NLAILOGIC::CRule::unifyBack ( CFactPattern * )
+
+ + + + + +
+ + + +
+ +
+Definition at line 318 of file rule.cpp. +
+References _Concs, NLAILOGIC::CClause::_Liaisons, _PosVarsConc, NLAILOGIC::CVarSet::_Vars, NLAILOGIC::CVarSet::CVarSet, NLAISCRIPT::l, and unifyLiaisonBack.
+

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

Member Data Documentation

+ + + + +
+ + +
std::vector<IBaseAssert *> NLAILOGIC::CRule::_Concs [private] +
+
+ + + + + +
+ + + +
+ +
+Definition at line 45 of file rule.h. +
+Referenced by addConc, addConflicts, backWard, CRule, getDebugString, and unifyBack.
+

+ + + + +
+ + +
std::vector< std::vector<sint32> > NLAILOGIC::CRule::_PosVarsConc [private] +
+
+ + + + + +
+ + + +
+ +
+Definition at line 46 of file rule.h. +
+Referenced by addConc, addConflicts, backWard, CRule, getPosListBackward, getPosListForward, and unifyBack.
+

+ + + + +
+ + +
const NLAIC::CIdentType CRule::IdRule [static] +
+
+ + + + + +
+ + + +
+Initial value:
NLAIC::CIdentType( "Rule", NLAIC::CSelfClassFactory(CRule()), + NLAIC::CTypeOfObject::tLogic, + NLAIC::CTypeOfOperator::opAdd )
+
+Definition at line 453 of file static_def_init.cpp. +
+Referenced by getType.
+

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

+ + + +
+

+ + -- cgit v1.2.1

NLAILOGIC::CRule Class Reference

Public Methods

Static Public Attributes

Private Methods

Private Attributes

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation