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