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

NLAILOGIC::CClause NLAILOGIC::CVarSet NLAILOGIC::IBaseBoolType NLAIAGENT::IObjetOp NLAIAGENT::IObjectIA NLAIAGENT::IBasicObjectIA NLAIC::IBasicInterface NLAIC::IBasicType NLAIC::IPointerGestion NLMISC::IStreamable NLMISC::IClassable 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: