Home

nevrax.com

Nevrax.org News Mailing-list Documentation CVS Bugs License

Documentation                       Search   NLAILOGIC::CClause Class Reference #include <clause.h> Inheritance diagram for NLAILOGIC::CClause [legend]Collaboration diagram for NLAILOGIC::CClause: [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: clause.h clause.cpp static_def_init.cpp