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