NeL: NLAILOGIC::CFirstOrderAssert class Reference

00047                 {
00048                         op_add ,
00049                         op_sub ,
00050                         op_mul ,
00051                         op_div ,
00052                         op_eq ,
00053                         op_inf ,
00054                         op_sup ,
00055                         op_inf_eq ,
00056                         op_sup_eq ,
00057                         op_not ,
00058                         op_diff ,                       
00059                         op_neg,
00060                         op_last
00061                 };

00033                                                                               : IBaseAssert( n )
00034         {
00035                 _NbVars = nb_vars;
00036 /*              std::vector<IBaseVar *> *lv = new std::vector<IBaseVar *>;
00037                 for (sint32 i = 0; i < _NbVars; i++)
00038                         lv->pushBack(NULL);*/
00039         }

00042                                                                         : IBaseAssert( *cp._Name )
00043         {
00044 
00045                 CConstIteratorContener r = _Facts.getConstIterator();
00046                 while( !r.isInEnd() )
00047                 {
00048                         _Facts.pushBack( 50, (CValueSet *) (*r).clone() );
00049                 }
00050         }

00053         {
00054                 while ( _Facts.size() )
00055                 {
00056                         _Facts.Front()->release();
00057                         _Facts.popFront();
00058                 }
00059         }

00121         {
00122                 _Clauses.push_back( clause );
00123                 _PosVars.push_back(std::vector<sint32>());
00124                 
00125                 std::vector<sint32>::iterator it_pos = posvars.begin();
00126                 while ( it_pos != posvars.end() )
00127                 {
00128                         _PosVars[ _Clauses.size() -1 ].push_back( *it_pos );
00129                         it_pos++;
00130                 }
00131         }

00082         {
00083                 // Lorsqu'on ajoute un fait, le transmet à toutes les conditions qui en dépendent avec la position des variables dans la condition
00084                 for ( sint32 i = 0; i < (sint32)_Outputs.size(); i++ )
00085                 {
00086                         // Créé la liste des valeurs
00087 //                      std::list<IObjectIA *> *values = f->getValues();
00088 //                      TODO: unifier pour bool et first order operator                 
00089 //                      _Outputs[i]->propagate(values, _PosVars[i] );
00090                 }
00091 
00092                 _Facts.pushBack( 50, (CValueSet *) f->clone() );
00093         }

00066         {
00067                 // Lorsqu'on ajoute un fait, le transmet à toutes les conditions qui en dépendent avec la position des variables dans la condition
00068                 for ( sint32 i = 0; i < (sint32)_Outputs.size(); i++ )
00069                 {
00070                         // Créé la liste des valeurs
00071                         std::list<IObjetOp *> *values = f->getValues(); 
00072 
00073 //                      TODO: unifier pour bool et first order operator
00074 //                      (CFirstOrderOperator *) _Outputs[i]->propagate(values, _PosVars[i] );
00075                         delete values;
00076                 }
00077                 
00078                 _Facts.pushBack( 50, f->asCValueSet() );
00079         }

00053         {
00054                 _Inputs.push_back( op );
00055                 op->incRef();
00056         }

00180         {
00181                 _Clauses.push_back( clause );
00182                 _PosVarsInputs.push_back( std::vector<sint32>() );
00183                 
00184                 std::vector<sint32>::iterator it_pos = posvars.begin();
00185                 while ( it_pos != posvars.end() )
00186                 {
00187                         _PosVarsInputs[_Inputs.size() - 1].push_back( *it_pos );
00188                         it_pos++;
00189                 }
00190         }

00064         {
00065                 _Outputs.push_back( op );
00066         }

00236         {
00237                 // Recherche dans l'assertion...
00238                 std::list<CFact *> *result = new std::list<CFact *>;
00239                 CValueSet *liaison;
00240 /*
00241                 CConstIteratorContener it_f = _Facts.getConstIterator();
00242                 while( !it_f.isInEnd() )
00243                 {
00244                         if ( *f == *(CFact *)((const IObjetOp*)it_f) )
00245                         {
00246                                 _Facts.erase( it_f );
00247                                 tmp->release();
00248                                 return;
00249                         }
00250                         it_f++;
00251                 }
00252 */
00253 
00254                 CConstIteratorContener it_l = _Facts.getConstIterator();
00255                 while ( !it_l.isInEnd() )
00256                 {
00257 #ifdef NL_DEBUG
00258                         std::string buffer;
00259 
00260                         ((CValueSet *)((const IObjetOp*)it_l))->getDebugString(buffer);
00261                         std::string buffer2;
00262                         fact->getDebugString(buffer2);
00263 #endif
00264 
00265                         liaison = ((CValueSet *)((const IObjetOp*)it_l))->unify( (CValueSet *) fact );
00266                         if ( liaison )
00267                         {
00268                                 if ( liaison->undefined() == 0 )
00269                                 {
00270                                         result->push_back( (CFact *) ((CValueSet *)((const IObjetOp*)it_l))->clone());
00271                                 }
00272                                 liaison->release();
00273                         }
00274                         it_l++;
00275                 }
00276 
00277 
00278                 // Et dans les règles dont la partie conclusion infèrent des faits de cette assertion
00279                 std::list<CFact *> param;
00280                 param.push_back( fact );
00281                 std::vector<IBaseOperator *>::iterator it_i = _Inputs.begin();
00282                 while ( it_i != _Inputs.end() )
00283                 {
00284                         ((CFirstOrderOperator *)(*it_i))->backward( param );
00285                         it_i++;
00286                 }
00287 
00288                 return result;
00289         }

00215         {
00216                 /*              std::list<CValueSet *> *facts = new std::list<CValueSet *>;
00217         
00218                 CFactPattern *tmp_fp = new CFactPattern(*vs);
00219                 tmp_fp->setAssert( this );
00220 
00221                 std::list<CClause *>::iterator it_cl = _Inputs.begin();
00222                 while ( it_cl != _Inputs.end() )
00223                 {
00224                         CVarSet *l = ( (CRule *) *it_cl )->backward( tmp_fp );
00225                         if ( l )
00226                         {
00227                                 char buf[1024 * 2];
00228                                 l->getDebugString( buf );
00229                                 bindings.pushBack( l );
00230                         }
00231                         it_cl++;
00232                 }*/
00233         }

00351         {
00352                 return TQueue();
00353         }

00134         {
00135                 CFirstOrderAssert *clone = new CFirstOrderAssert( *this );              
00136                 return (NLAIC::IBasicInterface *) clone;
00137         }

00094                 {
00095                         return --_Ref;
00096                 }

00117                 {
00118                         return std::string("<unnamed>");
00119                 }

00193         {
00194                 return _Clauses;
00195         }

00153         {
00154                 std::string buf;
00155                 getName().getDebugString(buf);
00156                 text += NLAIC::stringGetBuild("<CFirstOrderAssert> %s", buf.c_str());
00157         }

00292         {
00293                 std::list<CFact *> *result = new std::list<CFact *>;
00294                 CConstIteratorContener it_f = _Facts.getConstIterator();
00295                 while ( !it_f.isInEnd() )
00296                 {
00297                         CFact *tmp = new CFact( (IBaseAssert *) this, ((CValueSet *)((const IObjetOp*)it_f)) );
00298                         result->push_back( tmp );
00299                         it_f++;
00300                 }
00301                 return result;
00302         }

00293                 {
00294                         std::string s;
00295                         getDebugString(s);
00296                         return s;
00297                 }

00059         {
00060                 return _Inputs;
00061         }

00312         {
00313                 switch(id)
00314                 {
00315                 case 0:
00316                         {
00317                                 return std::string("IObjectIA::sendMessage(IMessage)");
00318                         }                       
00319                         break;
00320                 case 1:                 
00321                         break;
00322                 case 2:                 
00323                         return std::string("IObjectIA::run()");
00324                         break;
00325 
00326                 case 3:
00327                         {                               
00328                                 return std::string("IObjectIA::getStaticMember(Integer)");                              
00329                         }
00330                 }
00331                 return std::string("Mathod_?????(Param_?????)");
00332         }

00094         {
00095                 return IObjectIA::getMethodIndexSize() + op_last;
00096         }

00057                         {
00058                                 return *_Name;
00059                         }

00166                 {
00167                         IObjetOp *o = (IObjetOp *)clone();                      
00168                         o->neg();
00169                         return o;
00170                 }

00069         {
00070                 return _Outputs;
00071         }

00100                 {
00101                         return _Ref;
00102                 }

00262                 {
00263                         return getStaticMember(getStaticMemberIndex(compName));
00264                 }

00194         {
00195                 return NULL;
00196         }

00189         {
00190                 return -1;
00191         }

00181         {
00182                 std::string text;
00183                 text = NLAIC::stringGetBuild("sint32 IObjectIA::getStaticMemberSize() note implementaited for the '%s' interface",(const char *)getType());
00184                 throw NLAIE::CExceptionNotImplemented(text.c_str());
00185                 return 0;       
00186         }

00198         {
00199                 return IdFirstOrderAssert;
00200         }

00081                 {
00082                         _Ref ++;
00083                 }

00203         {
00204                 ((IBaseGroupType *)params)->popFront();
00205                 
00206                 _NbVars = (sint32) ( (DigitalType *) ((IBaseGroupType *)params)->popFront() )->getValue();
00207         }

00247         {
00248                 return -1;
00249         }

00160         {
00161                 return ( getName() == a.getName() );
00162         }

00170         {
00171                 return false;
00172         }

00357         {
00358                 return true;
00359         }

00207         {               
00208                 static CStringVarName send(_SEND_);
00209                 static CStringVarName constructor(_CONSTRUCTOR_);
00210                 static CStringVarName run(_RUN_);
00211                 static CStringVarName statM("GetStaticMember");
00212 
00213                 if(*methodName == send)
00214                 {
00215                         TQueue r;                       
00216                         CObjectType *c = new CObjectType(new NLAIC::CIdentType(NLAIC::CIdentType::VoidType));
00217                         r.push(CIdMethod(0,0.0,NULL,c));
00218                         return r;
00219                 }
00220                 else
00221                 if(*methodName == constructor && !((const NLAISCRIPT::CParam &)param).size())
00222                 {
00223                         TQueue r;
00224                         CObjectType *c = new CObjectType(new NLAIC::CIdentType(NLAIC::CIdentType::VoidType));
00225                         r.push(CIdMethod(1,0.0,NULL,c));
00226                         return r;
00227                 }
00228                 else
00229                 if(*methodName == run && !((const NLAISCRIPT::CParam &)param).size())
00230                 {
00231                         TQueue r;
00232                         CObjectType *c = new CObjectType(new NLAIC::CIdentType(NLAIC::CIdentType::VoidType));
00233                         r.push(CIdMethod(2,0.0,NULL,c));
00234                         return r;                       
00235                 }
00236                 if(*methodName == statM && ((const NLAISCRIPT::CParam &)param).size())
00237                 {
00238                         TQueue r;
00239                         CObjectType *c = new CObjectType(new NLAIC::CIdentType(*IAgent::IdAgent));
00240                         r.push(CIdMethod(3,0.0,NULL,c));
00241                         return r;                       
00242                 }
00243                 return TQueue();
00244         }

00175         {
00176                 return false;
00177         }

00210         {
00211                 return _NbVars;
00212         }

00102                 {
00103                         std::string text;
00104                         text = NLAIC::stringGetBuild("opertor <IObjectIA &neg()> note implemented for the '%s' interface",(const char *)getType());
00105                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00106                         return *this;
00107                 }

00140         {
00141                 return clone();
00142         }

00203                 {
00204                         return *this * *a;
00205 
00206                 }

00148                 {
00149                         std::string text;
00150                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator * (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00151                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00152                         return (IObjetOp *)this;
00153                 }

00183                 {
00184                         return *this *= *a;
00185 
00186                 }

00111                 {
00112                         std::string text;
00113                         text = NLAIC::stringGetBuild("opertor <IObjectIA &operator *= (const IObjectIA &a)> note implemented for the '%s' interface",(const char *)getType());
00114                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00115                         return *this;
00116                 }

00246                 {
00247                         std::string text;
00248                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator ! ()  const> note implemented for the '%s' interface",(const char *)getType());
00249                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00250                         return (IObjetOp *)this;
00251                 }

00253                 {
00254                         std::string text;
00255                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator != (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00256                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00257                         return (IObjetOp *)this;
00258                 }

00194                 {
00195                         return *this + *a;
00196                 }

00132                 {
00133                         std::string text;
00134                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator + (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00135                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00136                         return (IObjetOp *)this;
00137                 }

00174                 {
00175                         return *this += *a;
00176                 }

00084                 {                       
00085                         std::string text;
00086                         text = NLAIC::stringGetBuild("opertor <IObjectIA &operator += (const IObjectIA &a)> note implemented for the '%s' interface",(const char *)getType());
00087                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00088                         return *this;
00089                 }

00198                 {
00199                         return *this - *a;
00200 
00201                 }

00140                 {
00141                         std::string text;
00142                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator - (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00143                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00144                         return (IObjetOp *)this;
00145                 }

00178                 {
00179                         return *this -= *a;
00180 
00181                 }

00093                 {
00094                         std::string text;
00095                         text = NLAIC::stringGetBuild("opertor <IObjectIA &operator -= (const IObjectIA &a)> note implemented for the '%s' interface",(const char *)getType());
00096                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00097                         return *this;
00098                 }

00208                 {
00209                         return *this / *a;
00210 
00211                 }

00156                 {
00157                         std::string text;
00158                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator / (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00159                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00160                         return (IObjetOp *)this;
00161                 }

00188                 {
00189                         return *this /= *a;
00190 
00191                 }

00120                 {
00121                         std::string text;
00122                         text = NLAIC::stringGetBuild("opertor <IObjectIA &operator /= (const IObjectIA &a)> note implemented for the '%s' interface",(const char *)getType());
00123                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00124                         return *this;
00125                 }

00214                 {
00215                         std::string text;
00216                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator < (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00217                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00218                         return (IObjetOp *)this;
00219                 }

00230                 {
00231                         std::string text;
00232                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator <= (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00233                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00234                         return (IObjetOp *)this;
00235                 }

00135         {                                               
00136                 if(a.getType() == getType() ) return isEqual(a);                        
00137                 return false;
00138         }

00261                 {
00262                         std::string text;
00263                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator == (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00264                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00265                         return (IObjetOp *)this;
00266                 }

00062                         {
00063                                 return ( _Name == cp->_Name );
00064                         }

00222                 {
00223                         std::string text;
00224                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator > (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00225                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00226                         return (IObjetOp *)this;
00227                 }

00238                 {
00239                         std::string text;
00240                         text = NLAIC::stringGetBuild("opertor <virtual IObjetOp *operator >= (const IObjetOp &a)  const> note implemented for the '%s' interface",(const char *)getType());
00241                         throw NLAIE::CExceptionNotImplemented(text.c_str());
00242                         return (IObjetOp *)this;
00243                 }

00087                 {
00088                         if(decRef() == 0) 
00089                                         delete this;
00090                 }

00096         {
00097                 std::vector<IBaseOperator *>::iterator it_cl = _Outputs.begin();
00098                 while ( it_cl != _Outputs.end() )
00099                 {
00100                         // doit passer par un envoi de message!!!
00101                         it_cl++;
00102                 }
00103 
00104                 CValueSet *tmp = f->asValueSet();
00105 
00106                 CConstIteratorContener it_f = _Facts.getConstIterator();
00107                 while( !it_f.isInEnd() )
00108                 {
00109                         if ( *f == *(CValueSet *)((const IObjetOp*)it_f) )
00110                         {
00111                                 _Facts.erase( it_f );
00112                                 tmp->release();
00113                                 return;
00114                         }
00115                         it_f++;
00116                 }
00117                 tmp->release();
00118         }

00165         {
00166                 return IObjectIA::ProcessRun;
00167         }

00267         {
00268                 
00269                 switch(id)
00270                 {
00271                 case 0:
00272                         {
00273                                 IMessageBase *msg;
00274 
00275                                 IPerformative *p;
00276                                 msg = (IMessageBase *)((IBaseGroupType *)a)->pop();
00277                                 //this->incRef();
00278                                 msg->setReceiver(this);
00279                                 p = (IPerformative *)((IBaseGroupType *)a)->pop();
00280                                 msg->setPerformatif((IMessageBase::TPerformatif)(sint)p->getNumber());
00281                                 p->release();
00282                                 if(((IBaseGroupType *)a)->size())
00283                                 {                                       
00284                                         CStringType *name = (CStringType *)((IBaseGroupType *)a)->pop();
00285                                         IObjectIA::CProcessResult r = sendMessage(name->getStr(),msg);
00286                                         name->release();
00287                                         return r;
00288                                         
00289                                 }                               
00290                                 return sendMessage(msg);
00291                         }                       
00292                         break;
00293                 case 1:                 
00294                         break;
00295                 case 2:
00296                         return run();
00297                         break;
00298 
00299                 case 3:
00300                         {
00301                                 CProcessResult r;
00302                                 NLAIAGENT::IBaseGroupType *param = (NLAIAGENT::IBaseGroupType *)a;
00303                                 r.Result =      (IObjectIA *)getStaticMember((sint)((NLAIAGENT::INombreDefine *)param->get())->getNumber());
00304                                 r.Result->incRef();
00305                                 return r;
00306                         }
00307                 }
00308                 return CProcessResult();
00309         }

00258         {
00259                 /*char text[2048*8];
00260                 sprintf(text,"method  runMethodeMember(sint32 h, sint32 id,const IObjectIA &) not implemented for the '%s' interface",(const char *)getType());
00261                 throw NLAIE::CExceptionNotImplemented(text);
00262                 return CProcessResult();*/
00263                 return IObjectIA::runMethodeMember(id,a);
00264         }

00164         {
00165                 std::string text;
00166                 text = NLAIC::stringGetBuild("const CProcessResult &IObjectIA::runStep() note implementaited for the '%s' interface",(const char *)getType());
00167                 throw NLAIE::CExceptionNotImplemented(text.c_str());
00168                 return IObjectIA::ProcessNotComplit;
00169         }

00335         {
00336                 std::string text;
00337                 text = NLAIC::stringGetBuild("method 'sendMessage(%s,const IObjectIA &)' '%s' interface",name.getString(), (const char *)getType());
00338                 throw NLAIE::CExceptionNotImplemented(text.c_str());
00339                 return CProcessResult();
00340         }

00343         {
00344                 std::string text;
00345                 text = NLAIC::stringGetBuild("method 'sendMessage(const IObjectIA &)' '%s' interface", (const char *)getType());
00346                 throw NLAIE::CExceptionNotImplemented(text.c_str());
00347                 return CProcessResult();
00348         }

00329                 {
00330                         if ( f.isReading() )
00331                                 load( f );
00332                         else
00333                                 save( f );
00334                 }

00199         {
00200                 std::string text;
00201                 text = NLAIC::stringGetBuild("Function void IObjectIA::setStaticMember(sint32,IObjectIA *) note implementaited for the '%s' interface",(const char *)getType());
00202                 throw NLAIE::CExceptionNotImplemented(text.c_str());
00203                 return false;
00204         }

00269                 {
00270                         return setStaticMember(getStaticMemberIndex(compName),change);
00271                 }

 NLAIC::CIdentType( "FirstOrderAssert", NLAIC::CSelfClassFactory(CFirstOrderAssert( CStringVarName("Inst") )),
                NLAIC::CTypeOfObject::tLogic,
                NLAIC::CTypeOfOperator::opEq |
                NLAIC::CTypeOfOperator::opNeg | 
                NLAIC::CTypeOfOperator::opNot )


IObjectIA base class method;
virtual sint32	getMethodIndexSize () const
virtual TQueue	IObjetOp::isMember (const IVarName , const IVarName , const IObjectIA &) const
virtual CProcessResult	IObjetOp::runMethodeMember (sint32 index, IObjectIA *)
[NOHEADER]
virtual IObjetOp &	neg ()
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator *= (const IObjetOp &)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator+= (const IObjetOp &)
	add the operater by anather.
virtual IObjetOp &	operator-= (const IObjetOp &)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator/= (const IObjetOp &)
	throw (NLAIE::CExceptionNotImplemented)
[NOHEADER]
virtual IObjetOp *	operator * (const IObjetOp &)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator+ (const IObjetOp &)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator- (const IObjetOp &)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator/ (const IObjetOp &)
	throw (NLAIE::CExceptionNotImplemented)
Public Types
enum	TOpId { op_add, op_sub, op_mul, op_div, op_eq, op_inf, op_sup, op_inf_eq, op_sup_eq, op_not, op_diff, op_neg, op_last }
Public Member Functions
void	addClause (CClause *CClause, std::vector< sint32 > &posvars)
void	addFact (CValueSet *)
void	addFact (CVarSet *f)
virtual void	addInput (IBaseOperator *)
void	addInput (CClause *, std::vector< sint32 > &posvars)
virtual void	addOutput (IBaseOperator *)
std::list< CFact * > *	backward (CFact *)
void	backward (CValueSet , std::list< CValueSet > &)
virtual TQueue	canProcessMessage (const IVarName &)
	CFirstOrderAssert (const CFirstOrderAssert &)
	CFirstOrderAssert (const NLAIAGENT::IVarName &n, sint32 nb_vars=0)
virtual const NLAIC::IBasicType *	clone () const
void	connectClause (CClause *, std::vector< sint32 > &)
sint32	decRef ()
	Decrement the reference of an object.
const std::vector< CClause * > &	getClauses ()
virtual void	getDebugString (std::string &) const
std::list< CFact * > *	getFacts () const
virtual const std::string	getInfo ()
virtual const std::vector< IBaseOperator * > &	getInputs ()
virtual std::string	getMethodeMemberDebugString (sint32, sint32) const
virtual NLAIAGENT::IVarName &	getName () const
virtual IObjetOp *	getNeg () const
virtual const std::vector< IBaseOperator * > &	getOutputs ()
const sint32 &	getRef () const
	get the refence count.
const IObjectIA *	getStaticMember (const IVarName &compName) const
virtual const IObjectIA *	getStaticMember (sint32) const
virtual sint32	getStaticMemberIndex (const IVarName &) const
virtual sint32	getStaticMemberSize () const
virtual const NLAIC::CIdentType &	getType () const
void	incRef ()
	Inc a reference. We use this when we have to conserve a pointer memeory for exemple in a list.
virtual void	init (NLAIAGENT::IObjectIA *)
virtual sint32	isClassInheritedFrom (const IVarName &) const
virtual bool	isEqual (const IBasicObjectIA &a) const=0
virtual bool	isEqual (const CFirstOrderAssert &) const
bool	isEqual (const NLAIAGENT::IBasicObjectIA &a) const
virtual bool	isLocal ()
	If the result is true the object is loclal else its a representation of an object on the server. By the method return true.
virtual TQueue	isMember (const IVarName , const IVarName , const IObjectIA &) const
virtual bool	isTrue () const
	throw (NLAIE::CExceptionNotImplemented)
virtual void	load (NLMISC::IStream &is)
virtual sint32	nbVars () const
virtual const NLAIC::IBasicType *	newInstance () const
virtual IObjetOp *	operator * (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator = (IObjetOp a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator! () const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator!= (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator+ (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator+= (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator- (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator-= (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator/ (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator/= (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator< (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator<= (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
bool	operator== (const IBasicObjectIA &classType) const
virtual IObjetOp *	operator== (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual bool	operator== (IBaseAssert *cp)
virtual IObjetOp *	operator> (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator>= (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual void	release ()
	Release allow to release the pointer. The last release when the _Ref is nul delete the object.
void	removeFact (CFact *f)
virtual const IObjectIA::CProcessResult &	run ()
virtual CProcessResult	runMethodeMember (sint32 index, IObjectIA *)
virtual CProcessResult	runMethodeMember (sint32, sint32, IObjectIA *)
virtual const CProcessResult &	runStep ()
virtual void	save (NLMISC::IStream &os)
virtual CProcessResult	sendMessage (const IVarName &, IObjectIA *)
virtual CProcessResult	sendMessage (IObjectIA *)
virtual void	serial (NLMISC::IStream &f) throw (NLMISC::EStream)
virtual bool	setStaticMember (sint32, IObjectIA *)
bool	setStaticMember (const IVarName &compName, IObjectIA *change)
virtual	~CFirstOrderAssert ()
Static Public Attributes
const NLAIC::CIdentType	IdFirstOrderAssert
TProcessStatement	ProcessBuzzy = processBuzzy
TProcessStatement	ProcessEnd = processEnd
TProcessStatement	ProcessError = processError
TProcessStatement	ProcessIdle = processIdle
TProcessStatement	ProcessLocked = processLocked
CProcessResult	ProcessNotComplit = IObjectIA::CProcessResult(processNotComplete)
CProcessResult	ProcessRun = IObjectIA::CProcessResult()
Protected Attributes
std::vector< IBaseOperator * >	_Inputs
NLAIAGENT::IVarName *	_Name
std::vector< IBaseOperator * >	_Outputs
Private Member Functions
sint32	findAssert (IBaseAssert *)
Private Attributes
std::vector< CClause * >	_Clauses
NLAIAGENT::CVolatilMemmory	_Facts
sint32	_NbVars
std::vector< std::vector< sint32 > >	_PosVars
std::vector< std::vector< sint32 > >	_PosVarsInputs

NLAILOGIC::CFirstOrderAssert Class Reference

IObjectIA base class method;

[NOHEADER]

[NOHEADER]

Public Types

Public Member Functions

Static Public Attributes

Protected Attributes

Private Member Functions

Private Attributes

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

Field Documentation