NeL: NLAILOGIC::CFact 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                 };

00029                      : CValueSet()
00030         {
00031                 _Assert = NULL;
00032                 _AssertName = NULL;
00033         }

00036                                    : CValueSet(a->nbVars() )
00037         {
00038                 _Assert = a;
00039                 _AssertName = NULL;
00040         }

00048                                            : CValueSet(1)
00049         {
00050                 _Assert = a;
00051                 _Values[0] = new CBoolType(v);
00052                 _AssertName = NULL;
00053         }

00042                                                     : CValueSet( *vals )
00043         {
00044                 _Assert = a;
00045                 _AssertName = NULL;
00046         }

00055                                                   : CValueSet( vars->size() )
00056         {
00057                 std::list<IObjetOp *> *vals = vars->getValues();
00058                 std::list<IObjetOp *>::iterator it_v = vals->begin();
00059                 while ( it_v != vals->end() )
00060                 {
00061                         vals->push_back( *it_v );
00062                         it_v++;
00063                 }
00064                 delete vals;
00065                 _Assert = a;
00066                 _AssertName = NULL;
00067         }

00111         {
00112                 if(_AssertName != NULL) _AssertName->release();
00113 /*              if ( _Assert != NULL )
00114                         _Assert->release();
00115                         */
00116         }

00076                                                   : CValueSet(i )
00077         {
00078                 //_Assert = a;
00079                 _AssertName = (NLAIAGENT::IVarName *) a;
00080                 _Assert = NULL;
00081         }

00070                                             : CValueSet()
00071         {
00072                 _AssertName = (NLAIAGENT::IVarName *) name.clone();
00073                 _Assert = NULL;
00074         }

00089                                                  : CValueSet(1)
00090         {
00091                 _Values[0] = new CBoolType(v);
00092                 _AssertName = (NLAIAGENT::IVarName *) a.clone();
00093                 _Assert = NULL;
00094         }

00083                                                           : CValueSet( *vals )
00084         {
00085                 _AssertName = (NLAIAGENT::IVarName *) a.clone();
00086                 _Assert = NULL;
00087         }

00096                                                         : CValueSet( vars->size() )
00097         {
00098                 _Assert = NULL;
00099                 std::list<IObjetOp *> *vals = vars->getValues();
00100                 std::list<IObjetOp *>::iterator it_v = vals->begin();
00101                 while ( it_v != vals->end() )
00102                 {
00103                         vals->push_back( *it_v );
00104                         it_v++;
00105                 }
00106                 delete vals;
00107                 _AssertName = (NLAIAGENT::IVarName *) a.clone();
00108         }

00269                                       : CValueSet(fact)
00270         {
00271                 if ( fact._AssertName != NULL )
00272                         _AssertName = (NLAIAGENT::IVarName *) fact._AssertName->clone();
00273                 else
00274                         _AssertName = NULL;
00275                 _Assert = fact._Assert;
00276         }

00178         {
00179                 CValueSet *result = new CValueSet( _NbValues );
00180                 for (sint32 i = 0; i < _NbValues; i++ )
00181                 {
00182                         result->setValue(i, _Values[i] );
00183                         _Values[i]->incRef();
00184                 }
00185                 return result;
00186         }

00351         {
00352                 return TQueue();
00353         }

00279         {
00280                 return new CFact( *this );
00281         }

00094                 {
00095                         return --_Ref;
00096                 }

00533         {
00534                 CValueSet *result = new CValueSet( clause->nbVars() );
00535 
00536                 std::vector<sint32>::iterator it_pos = pos.begin();
00537 
00538                 for (sint32 i = 0; i < _NbValues; i++ )
00539                 {
00540                         if ( _Values[i] )
00541                         {
00542                                 result->_Values[ *it_pos ] = _Values[i];
00543                                 _Values[i]->incRef();
00544                                 it_pos++;
00545                         }
00546                 }
00547                 return result;
00548         }

00120         {
00121                 return _Assert;
00122         }

00125         {
00126                 return *_AssertName;
00127         }

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

00130         {
00131                 std::string buf;
00132                 if(_Assert != NULL) _Assert->getDebugString(buf);
00133                 else buf = "NULL";
00134                 txt += NLAIC::stringGetBuild("<CFact> %s\n", buf.c_str());
00135                 for (sint32 i = 0; i < _NbValues; i++ )
00136                 {
00137                         txt += " , ";
00138                         if ( _Values[i] )
00139                         {
00140                                 _Values[i]->getDebugString( buf );
00141 
00142                                  txt += buf;
00143                         }
00144                         else txt += "NULL";
00145                 }
00146         }

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

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         }

00258         {
00259                 return CValueSet::getMethodIndexSize() + 1;
00260         }

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

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         }

00263         {
00264                 return IdFact;
00265         }

00318         {
00319                 if ( pos <= _NbValues )
00320                         return _Values[pos];    
00321                 else
00322                         return NULL;    // TODO: exception!!!!!!!!!!!!
00323         }

00342         {
00343                 // Warning: this list must be deleted after use!!!
00344                 std::list<IObjectIA *> *result = new std::list<IObjectIA *>;
00345                 for (sint32 i = 0; i < _NbValues; i++ )
00346                 {
00347                         if ( _Values[i] )
00348                                 result->push_back( _Values[i] );
00349                 }
00350                 return result;
00351         }

00081                 {
00082                         _Ref ++;
00083                 }

00117         {
00118                 
00119         }

00247         {
00248                 return -1;
00249         }

00506         {
00507                 if ( _NbValues != ((CValueSet &)cmp)._NbValues )
00508                 {
00509                         return false;
00510                 }
00511 
00512                 for (sint32 i = _NbValues; i < _NbValues; i++ )
00513                 {
00514                         if ( _Values[i] != ((CValueSet &)cmp)._Values[i] )
00515                         {
00516                                 return false;
00517                         }
00518                 }
00519                 return true;
00520         }

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         }

00189         {
00190 
00191 #ifdef NL_DEBUG 
00192                 std::string nameP;
00193                 std::string nameM;
00194         funcName->getDebugString(nameM);
00195         params.getDebugString(nameP);
00196 
00197         const char *dbg_class_name = (const char *) getType();
00198 #endif
00199                 NLAIAGENT::TQueue r;
00200                 if(className == NULL)
00201                 {
00202                         if( (*funcName) == NLAIAGENT::CStringVarName( "Constructor" ) )
00203                         {                                       
00204                                 NLAIAGENT::CObjectType *c = new NLAIAGENT::CObjectType( new NLAIC::CIdentType( CFact::IdFact ) );                                       
00205                                 r.push( NLAIAGENT::CIdMethod( 0 + CValueSet::getMethodIndexSize(), 0.0, NULL, c) );                                     
00206                         }
00207                 }
00208 
00209                 if ( r.empty() )
00210                         return CValueSet::isMember(className, funcName, params);
00211                 else
00212                         return r;
00213         }

00523         {
00524                 return ( undefined() == (sint32) 0 );
00525         }

00400         {
00401                 // Deletes the old table
00402                 int i;
00403                 for ( i = 0; i < _NbValues; i++ )
00404                         if ( _Values[i] )
00405                                 _Values[i]->release();
00406                 delete[] _Values;
00407                 
00408                 // Creates the new one
00409                 sint32 nb_Values;
00410                 is.serial( nb_Values );
00411                 _NbValues = (sint32) nb_Values;
00412                 sint32 nbvals;
00413                 is.serial( nbvals );
00414                 
00415                 _Values = new IObjectIA *[ _NbValues ];
00416 
00417                 for ( i = 0; i < _NbValues; i++ )
00418                 {
00419                         _Values[ i ] = NULL;
00420                 }
00421 
00422                 std::list<IObjectIA *> vals;
00423                 std::vector<sint32> pos;
00424 
00425                 for ( i = 0; i < nbvals; i++ )
00426                 {
00427                         NLAIC::CIdentTypeAlloc id;
00428                         is.serial( id );
00429                         IObjectIA *tmp_val = (IObjectIA *) id.allocClass();
00430                         tmp_val->load( is );
00431                         tmp_val->incRef();
00432                         vals.push_back(  tmp_val );
00433                 }
00434         }

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                 }

00284         {
00285                 return new CFact();
00286         }

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                 }

00454         {
00455                 CBoolType *result = new CBoolType ( !isTrue() );
00456                 return result;
00457         }

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                 }

00460         {
00461                 if ( _NbValues != ((CValueSet &)a)._NbValues )
00462                 {
00463                         CBoolType *result = new CBoolType ( false );
00464                         return result;
00465                 }
00466 
00467 
00468                 for (sint32 i = _NbValues; i < _NbValues; i++ )
00469                 {
00470                         if ( _Values[i] != ((CValueSet &)a)._Values[i] )
00471                         {
00472                                 CBoolType *result = new CBoolType ( false );
00473                                 return result;
00474                         }
00475 
00476                 }
00477                 CBoolType *result = new CBoolType ( true );
00478                 return result;
00479         }

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                 }

00482         {
00483                 if ( _NbValues != ((CValueSet &)a)._NbValues )
00484                 {
00485                         CBoolType *result = new CBoolType ( false );
00486                         return result;
00487                 }
00488 
00489                 for (sint32 i = 0; i < _NbValues; i++ )
00490                 {
00491                         bool test_result = (*_Values[i]) == *((CValueSet &)a)._Values[i];
00492 /*                      IObjectIA *test = (*_Values[i]) != *((CValueSet &)a)._Values[i];
00493                         bool test_result = test->isTrue();
00494                         test->release(); */
00495                         if ( !test_result )
00496                         {
00497                                 CBoolType *result = new CBoolType ( false );
00498                                 return result;
00499                         }
00500                 }
00501                 CBoolType *result = new CBoolType ( true );
00502                 return result;
00503         }

00299         {
00300                 if( cp->_NbValues != _NbValues )
00301                         return false;
00302 
00303                 for ( sint32 i = 0; i < _NbValues; i++ )
00304                         if ( cp->_Values[i] != _Values[i] )
00305                                 return false;
00306                 return true;
00307         }

00155         {
00156                 if ( ! (_Assert->getName() == ( (CFact &)a )._Assert->getName() ) )
00157                         return false;
00158 
00159                 if( ((CFact &) a)._NbValues != _NbValues )
00160                         return false;
00161 
00162                 for (sint32 i = 0; i < _NbValues; i++ )
00163                 {
00164 /*                      IObjetOp *test = (*_Values[i]) == *((CValueSet &)a).getValue(i);
00165                         bool test_result = test->isTrue();
00166                         test->release();
00167                         if ( test_result )
00168                                 return false;
00169                                 */
00170 
00171                         if ( ! ( (*_Values[i]) == *((CValueSet &)a).getValue(i) ) )
00172                                 return false;
00173                 }
00174                 return true;
00175         }

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                 }

00310         {
00311                 if ( pos <= _NbValues )
00312                         return _Values[pos];    
00313                 else
00314                         return NULL;    // TODO: exception!!!!!!!!!!!!
00315         }

00149         {
00150                 if ( _Assert )
00151                         _Assert->addFact( this );
00152         }

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

00528         {
00529                 return IObjectIA::ProcessRun;
00530         }

00223         {
00224                 NLAIAGENT::IBaseGroupType *param = (NLAIAGENT::IBaseGroupType *)p;
00225 
00226                 switch(index - CValueSet::getMethodIndexSize())
00227                 {
00228                 case 0:
00229                         {                                       
00230 
00231                                 NLAIAGENT::CStringType *name = (NLAIAGENT::CStringType *) param->getFront()->clone();
00232                                 param->popFront();
00233 #ifdef NL_DEBUG
00234                                 const char *dbg_name = name->getStr().getString();
00235 #endif
00236                                 // If the constructor() function is explicitely called and the object has already been initialised
00237                                 if ( _AssertName )
00238                                         _AssertName->release();
00239 //                              _Args.clear();
00240 
00241                                 _AssertName = (NLAIAGENT::IVarName *) name->getStr().clone();
00242 /*                              std::list<const NLAIAGENT::IObjectIA *> args;
00243                                 while ( param->size() )
00244                                 {
00245                                         _Args.push_back( (NLAIAGENT::IObjectIA *) param->getFront() );
00246                                         param->popFront();
00247                                 }
00248                                 */
00249                                 return IObjectIA::CProcessResult();             
00250                         }
00251                         break;
00252                 }
00253 
00254                 return IObjectIA::CProcessResult();
00255         }

00218         {
00219                 return IObjectIA::CProcessResult();
00220         }

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         }

00370         {
00371                 sint32 nb_Values = (sint32) _NbValues;
00372                 os.serial( nb_Values );
00373                 std::list<IObjectIA *> values;
00374                 std::vector<sint32> pos;
00375 
00376                 for ( sint32 i = 0; i < _NbValues; i++ )
00377                 {
00378                         if ( _Values[i] )
00379                         {
00380                                 values.push_back( _Values[i] );
00381                                 pos.push_back( i );
00382                         }
00383                 }
00384                 sint32 size = (sint32) values.size();
00385                 os.serial( size );
00386 
00387                 std::list<IObjectIA *>::iterator it_val = values.begin();
00388                 std::vector<sint32>::iterator it_pos = pos.begin();
00389 
00390                 while ( it_val != values.end() )
00391                 {
00392                         os.serial( (NLAIC::CIdentType &) ( *it_val )->getType() );
00393                         ( *it_val )->save( os );
00394                         sint32 ip = (sint32) *it_pos;
00395                         os.serial( ip );
00396                 }
00397         }

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                 }

00551         {
00552                 _NbValues = size;
00553                 sint32 i;
00554 
00555                 if ( _Values != NULL )
00556                 {
00557                         for ( i = 0; i < _NbValues; i++ );
00558                         _Values[i]->release();
00559                         delete _Values;
00560                 }
00561 
00562                 _Values = new IObjectIA *[ _NbValues ];
00563 
00564                 for ( i = 0; i < _NbValues; i++ )
00565                 {
00566                         _Values[ i ] = NULL;
00567                 }
00568         }

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                 }

00141         {
00142                 _Values[pos] = obj;
00143                 if ( obj )
00144                         obj->incRef();
00145         }

00336         {
00337                 return _NbValues;
00338         }

00327         {
00328                 sint32 nb_undef = _NbValues;
00329                 for ( sint32 i = 0; i < _NbValues; i++ )
00330                         if ( _Values[i] != NULL )
00331                                 nb_undef--;
00332                 return nb_undef;
00333         }

00257         {
00258                 CValueSet *result = new CValueSet( _NbValues );
00259                 int i;
00260                 for ( i = 0; i < _NbValues; i++ )
00261                 {
00262                         result->_Values[i] = _Values[i];
00263                         if ( _Values[i] )
00264                                 _Values[i]->incRef();
00265 
00266                 }
00267 
00268                 for (i = 0; i < (sint32) pos_vals.size(); i++ )
00269                 {
00270                         sint32 pos = pos_vals[i];
00271                         IObjectIA *l_val = _Values[ pos ];
00272                         IObjectIA *r_val = (*vals)[i];
00273 //                      IObjectIA *test = NULL;
00274 //                      if (  !l_val || !( test = (*l_val) != ( *r_val ) )->isTrue() )
00275                         if (  !l_val || ( (*l_val) == ( *r_val ) ) )
00276                         {
00277 //                              if ( test )
00278 //                                      test->release();
00279                                 if ( !l_val )
00280                                 {
00281                                         result->_Values[ pos ] = r_val;
00282                                         if ( (*vals)[i] )
00283                                                 result->_Values[ pos ]->incRef();
00284                                 }
00285                         }
00286                         else
00287                         {
00288 //                              if ( test )
00289 //                                      test->release();
00290                                 result->release();
00291                                 return NULL;
00292                         }
00293                 }
00294                 return result;
00295         }

00203         {
00204                 CValueSet *result = new CValueSet( _NbValues );
00205                 for (sint32 i = 0; i < _NbValues; i++ )
00206                 {
00207                         result->_Values[i] = _Values[i];
00208                         if ( _Values[i] )
00209                                 _Values[i]->incRef();
00210 
00211                 }
00212 
00213                 std::list<IObjectIA *>::iterator it_val = vals->begin();
00214                 std::vector<sint32>::iterator it_pos = pos_vals.begin();
00215 
00216                 // -----------------
00217 
00218 #ifdef NL_DEBUG
00219                 std::string buf;
00220                 this->getDebugString(buf);
00221                 std::string buf2;
00222                 CValueSet tmp(_NbValues, vals, pos_vals);
00223                 tmp.getDebugString(buf2);
00224 #endif
00225                 //TRACE(" \nUNIFICATION:\n VS = %s\n VP = %s \n", buf, buf2);
00226                 
00227                 // -----------------
00228 
00229                 while ( it_val != vals->end()  && it_pos != pos_vals.end() )
00230                 {
00231                         sint32 pos = *it_pos;
00232                         IObjectIA *l_val = _Values[ pos ];
00233 //                      IObjectIA *test = NULL;
00234                         if (  !l_val || (  (*l_val) == ( **it_val ) ) )
00235                         {
00236 //                              if ( test )
00237 //                                      test->release();
00238                                 result->_Values[ pos ] = *it_val;
00239                                 result->_Values[ pos ]->incRef();
00240                         }
00241                         else
00242                         {
00243 //                              if ( test )
00244 //                                      test->release();
00245                                 delete result;
00246                                 return NULL;
00247                         }
00248                         it_val++;
00249                         it_pos++;
00250 
00251                 }
00252 
00253                 return result;
00254         }

00156         {
00157                 CValueSet *result = new CValueSet( _NbValues );
00158                 int i;
00159                 for( i = 0; i < _NbValues; i++ )
00160                 {
00161                         result->_Values[i] = _Values[i];
00162                         if ( _Values[i] )
00163                                 _Values[i]->incRef();
00164 
00165                 }
00166                 
00167                 for (i = 0; i < _NbValues ; i++ )
00168                 {
00169                         IObjectIA *x_val = result->_Values[ i ];
00170                         IObjectIA *y_val = un->_Values[ i ];
00171         
00172 /*                      if ( !x_val && !y_val )
00173                                 result->_Values[i] = NULL ;
00174 */
00175                         if ( x_val && y_val )
00176                         {
00177 //                              IObjectIA *test;
00178                                 if ( (*x_val) == ( *y_val )  )
00179                                 {
00180                                         // Nothing to do 
00181                                 }                                               
00182                                 else
00183                                 {
00184                                         result->release();
00185                                         return NULL;
00186                                 }
00187 //                              test->release();
00188                         }
00189                         else
00190                         {
00191                                 if ( y_val )
00192                                 {
00193                                         result->_Values[i] = y_val;
00194                                         result->_Values[i]->incRef();
00195                                 }
00196                         }
00197                 }
00198                 return result;
00199         }

 NLAIC::CIdentType( "FactObject", NLAIC::CSelfClassFactory( CFact( TrucInst ) ),
                NLAIC::CTypeOfObject::tLogic,
                NLAIC::CTypeOfOperator::opEq |
                NLAIC::CTypeOfOperator::opNeg | 
                NLAIC::CTypeOfOperator::opNot )

 NLAIC::CIdentType( "ValueSet", NLAIC::CSelfClassFactory( CValueSet(0) ),
                NLAIC::CTypeOfObject::tLogic |
                NLAIC::CTypeOfObject::tList,
                NLAIC::CTypeOfOperator::opEq |
                NLAIC::CTypeOfOperator::opNot |
                NLAIC::CTypeOfOperator::opDiff )


[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
CValueSet *	asValueSet ()
virtual TQueue	canProcessMessage (const IVarName &)
	CFact (const CFact &)
	CFact (NLAIAGENT::IVarName &, CVarSet *)
	CFact (NLAIAGENT::IVarName &, CValueSet *)
	CFact (NLAIAGENT::IVarName &, bool)
	CFact (NLAIAGENT::IVarName &)
	CFact (sint32, NLAIAGENT::IVarName *)
	CFact (IBaseAssert , CVarSet )
	CFact (IBaseAssert , CValueSet )
	CFact (IBaseAssert *, bool)
	CFact (IBaseAssert *)
	CFact ()
const NLAIC::IBasicType *	clone () const
sint32	decRef ()
	Decrement the reference of an object.
CValueSet *	forward (CClause *, std::vector< sint32 > &)
IBaseAssert *	getAssert ()
NLAIAGENT::IVarName &	getAssertName ()
virtual void	getDebugString (std::string &) const
virtual const std::string	getInfo ()
virtual std::string	getMethodeMemberDebugString (sint32, sint32) const
virtual IObjetOp *	getNeg () const
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 NLAIAGENT::IObjectIA *	getValue (sint32)
std::list< NLAIAGENT::IObjectIA * > *	getValues ()
	Return a list of the != NULL values of the object.
void	incRef ()
	Inc a reference. We use this when we have to conserve a pointer memeory for exemple in a list.
virtual void	init (IObjectIA *)
virtual sint32	isClassInheritedFrom (const IVarName &) const
virtual bool	isEqual (const IBasicObjectIA &a) const=0
virtual bool	isEqual (const NLAIAGENT::IBasicObjectIA &) 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 NLAIAGENT::TQueue	isMember (const NLAIAGENT::IVarName , const NLAIAGENT::IVarName , const NLAIAGENT::IObjectIA &) const
virtual bool	isTrue () const
	throw (NLAIE::CExceptionNotImplemented)
virtual void	load (NLMISC::IStream &is)
const NLAIC::IBasicType *	newInstance () const
virtual IObjetOp *	operator * (IObjetOp *a)
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp &	operator = (IObjetOp a)
	throw (NLAIE::CExceptionNotImplemented)
virtual NLAIAGENT::IObjetOp *	operator! () const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator!= (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual NLAIAGENT::IObjectIA *	operator!= (NLAIAGENT::IObjectIA &a) const
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 NLAIAGENT::IObjectIA *	operator== (NLAIAGENT::IObjectIA &a) const
bool	operator== (CValueSet *)
virtual bool	operator== (const NLAIAGENT::IBasicObjectIA &a) const
virtual IObjetOp *	operator> (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator>= (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual NLAIAGENT::IObjectIA *	operator[] (sint32)
virtual void	propagate ()
virtual void	release ()
	Release allow to release the pointer. The last release when the _Ref is nul delete the object.
virtual const IObjectIA::CProcessResult &	run ()
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 void	setSize (sint32)
virtual bool	setStaticMember (sint32, IObjectIA *)
bool	setStaticMember (const IVarName &compName, IObjectIA *change)
void	setValue (sint32, NLAIAGENT::IObjectIA *)
sint32	size ()
sint32	undefined () const
	Returns the number of NULL values (considered as undefined).
CValueSet *	unify (CValueSet *vals, std::vector< sint32 > &pos_vals) const
CValueSet *	unify (std::list< NLAIAGENT::IObjectIA * > *vals, std::vector< sint32 > &pos_vals) const
	Tries to unify a CValueSet with a list of values and their positions.
CValueSet *	unify (const CValueSet *) const
virtual	~CFact ()
Some IObjectIA method definition.
sint32	getMethodIndexSize () const
virtual const NLAIC::CIdentType &	getType () const
virtual NLAIAGENT::IObjectIA::CProcessResult	runMethodeMember (sint32 index, NLAIAGENT::IObjectIA *p)
virtual NLAIAGENT::IObjectIA::CProcessResult	runMethodeMember (sint32, sint32, NLAIAGENT::IObjectIA *)
Static Public Attributes
const NLAIC::CIdentType	IdFact
const NLAIC::CIdentType	IdValueSet
TProcessStatement	ProcessBuzzy = processBuzzy
TProcessStatement	ProcessEnd = processEnd
TProcessStatement	ProcessError = processError
TProcessStatement	ProcessIdle = processIdle
TProcessStatement	ProcessLocked = processLocked
CProcessResult	ProcessNotComplit = IObjectIA::CProcessResult(processNotComplete)
CProcessResult	ProcessRun = IObjectIA::CProcessResult()
const NLAIAGENT::TProcessStatement	state = processIdle
Protected Attributes
sint32	_NbValues
NLAIAGENT::IObjectIA **	_Values
Private Attributes
IBaseAssert *	_Assert
NLAIAGENT::IVarName *	_AssertName

NLAILOGIC::CFact Class Reference

[NOHEADER]

[NOHEADER]

Public Types

Public Member Functions

Static Public Attributes

Protected Attributes

Private Attributes

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

Field Documentation