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

00031         {
00032                 _Liaisons.push_back( new CValueSet( _Vars.size() ) );
00033                 _NbValid = 0;
00034         }

00048                                           : CVarSet(cl)
00049 
00050         {
00051                 _NbValid = cl._NbValid;
00052                 std::vector<IBaseBoolType *>::const_iterator it_c = cl._Conds.begin();
00053                 while ( it_c != cl._Conds.end() )
00054                 {
00055                         addCond( (CFactPattern *) *it_c );
00056                         it_c++;
00057                 }
00058 
00059                 std::vector< std::vector<sint32> >::const_iterator it_li = cl._PosVarsCond.begin();
00060                 while ( it_li != cl._PosVarsCond.end() )
00061                 {
00062                         std::vector<sint32>::const_iterator it_i = (*it_li).begin();
00063                         _PosVarsCond.push_back( std::vector<sint32>() );
00064 
00065                         while ( it_i != (*it_li).end() )
00066                         {
00067                                 _PosVarsCond.back().push_back( *it_i ) ;
00068                                 it_i++;
00069                         }
00070                         it_li++;
00071                 }
00072         }

00036                                                        : CVarSet()
00037         {
00038                 _NbValid = 0;
00039                 std::list<CFactPattern *>::iterator it_c = conds.begin();
00040                 while ( it_c != conds.end() )
00041                 {
00042                         addCond( (CFactPattern *) (*it_c)->clone() );
00043                         it_c++;
00044                 }
00045                 _Liaisons.push_back( new CValueSet( _Vars.size() ) );
00046         }

00075         {
00076                 for ( sint32 i = 0; i < (sint32) _Conds.size(); i++ )
00077                         _Conds[i]->release();
00078                 
00079                 while ( ! _Conflits.empty() )
00080                 {
00081                         delete _Conflits.front();
00082                         _Conflits.pop_front();
00083                 }
00084 
00085                 while ( ! _Liaisons.empty() )
00086                 {
00087                         delete _Liaisons.front();
00088                         _Liaisons.pop_front();
00089                 }
00090 
00091                 while ( ! _BufLiaisons.empty() )
00092                 {
00093                         delete _BufLiaisons.front();
00094                         _BufLiaisons.pop_front();
00095                 }
00096         }

00329         {
00330                 while ( !_BufLiaisons.empty() )
00331                 {
00332                         _Liaisons.push_back( _BufLiaisons.front() );
00333                         std::string buf;
00334                         _BufLiaisons.front()->getDebugString( buf );
00335                         //TRACE ( "Ajout de la liaison du buffer: %s ", buf );
00336                         _BufLiaisons.pop_front();
00337                 }
00338         }

00125         {
00126                 _Conds.push_back( (CFactPattern *) cond->clone() );
00127 
00128                 // Recherche l'assertion
00129                 sint32 pos_assert= findAssert( cond->getAssert() );
00130                 if ( pos_assert  < 0 )
00131                 {
00132                         _Asserts.push_back( cond->getAssert() );
00133                         pos_assert = _Asserts.size();
00134                 }
00135 
00136                 // Recherche si variables à ajouter
00137                 std::vector<sint32> pos_vars;
00138                 std::vector<IBaseVar *> *vars_cond = cond->getVars();
00139                 if ( vars_cond )
00140                 {
00141                         std::vector<IBaseVar *>::iterator it_cond = vars_cond->begin();
00142                         while ( it_cond != vars_cond->end() )
00143                         {
00144                                 bool found;
00145                                 if ( _Vars.size() )
00146                                 {
00147                                         found = false;
00148                                         for (sint32 i = 0; i < (sint32)_Vars.size() ; i++ ) 
00149                                         {
00150                                                 if ( ( *it_cond )->getName() == _Vars[ i ]->getName() )
00151                                                 {
00152                                                         found = true;
00153                                                         pos_vars.push_back( i );
00154                                                 }
00155                                         }
00156                                 }
00157                                 else
00158                                         found = false;
00159                                 
00160                                 if ( !found ) 
00161                                 {
00162                                         _Vars.push_back( (IBaseVar *)(*it_cond)->clone() );
00163                                         pos_vars.push_back( _Vars.size() - 1);
00164                                 }
00165                                 it_cond++;
00166                         }
00167                 }
00168 
00169                 // Prévenir l'assertion
00170                 if ( cond->getAssert() )
00171                 {
00172                         ((CFirstOrderAssert *) cond->getAssert())->addClause( this, pos_vars );
00173                         _PosVarsCond.push_back( pos_vars );
00174                 }
00175 
00176                 for ( sint32 i = 0; i < (sint32) vars_cond->size(); i++ )
00177                 {
00178                         (*vars_cond)[i]->release();
00179                 }
00180                 delete vars_cond;
00181         }

00145         {
00146                 IBaseVar *tmp = (IBaseVar *) var->clone();
00147                 _Vars.push_back( tmp );
00148         }

00291         {
00292                 CValueSet *result = new CValueSet( _Vars );
00293                 return result;
00294         }

00351         {
00352                 return TQueue();
00353         }

00099         {
00100                 CClause *clone = new CClause( *this );
00101                 return clone;
00102         }

00094                 {
00095                         return --_Ref;
00096                 }

00111         {
00112                 if ( a )
00113                         for ( sint32 i = 0; i < (sint32)_Asserts.size(); i++ )
00114                         {
00115                                 if ( _Asserts[i]->getName() == a->getName() )
00116                                 {
00117                                         return i;
00118                                 }
00119                         }
00120 
00121                 return -1;
00122         }

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

00184         {               
00185                 txt += "CClause ";
00186                 for (sint32 i = 0; i < (sint32)_Vars.size(); i++ )
00187                 {
00188                         std::string buf;
00189                         _Vars[ i ]->getDebugString( buf );
00190                         txt += "  - ";
00191                         txt += buf;
00192                 }
00193         }

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

00369         {
00370                 return new std::list<CClause *>;
00371         }

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         }

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         }

00236         {
00237                 return IdVarSet;
00238         }

00273         {
00274                 std::list<IObjetOp *> *result = new std::list<IObjetOp *>;
00275 
00276                 IObjetOp *tmp_val;
00277 
00278                 for ( sint32 i = 0; i < (sint32)_Vars.size(); i++ )
00279                 {
00280                         tmp_val = _Vars[ i ];
00281                         IObjetOp *val;
00282                         if ( (val = _Vars[ i ]->getValue()) )
00283                                 result->push_back( val );
00284                 }
00285 
00286                 return result;
00287         }

00166         {
00167                 std::vector<IBaseVar *> *result= new std::vector<IBaseVar *>;
00168 
00169                 std::vector<IBaseVar *>::iterator it_var = _Vars.begin();
00170                 while ( it_var != _Vars.end() )
00171                 {
00172                         result->push_back( (IBaseVar *) (*it_var)->clone() );
00173                         it_var++;
00174                 }
00175                 return result;
00176         }

00081                 {
00082                         _Ref ++;
00083                 }

00117         {
00118                 
00119         }

00247         {
00248                 return -1;
00249         }

00132         {
00133 /*              if ( ! ( _Assert == ((CVarSet &)a)._Assert ) )
00134                         return false;
00135 */
00136                 for (sint32 i = 0; i < (sint32)_Vars.size() ; i++ )
00137                 {       
00138                         if (! ( ( *_Vars[ i ] ) == ( *((CVarSet &) a)._Vars[i]) ))
00139                                 return false;
00140                 }
00141                 return true;
00142         }

00127         {
00128                 return false;
00129         }

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         }

00276         {
00277                 return ( _NbValid > 0 );
00278         }

00268         {
00269                 return ( NbInstanciated == 0 );
00270         }

00085         {
00086                 IObjectIA::load(is);
00087                 sint32 nb_vars;
00088                 is.serial( nb_vars );
00089 
00090                 for (sint32 i = 0; i < nb_vars; i++ )
00091                 {
00092                         NLAIC::CIdentTypeAlloc id;
00093                         is.serial( id );
00094                         IBaseVar *tmp_var = (IBaseVar *)id.allocClass();
00095                         _Vars.push_back( tmp_var );
00096                 }
00097         }

00374         {
00375                 return _Vars.size();
00376         }

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                 }

00105         {
00106                 CClause *instance = new CClause();
00107                 return instance;
00108         }

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                 }

00265         {
00266 
00267                 return new CBoolType( !isTrue() );
00268         }

00271         {
00272                 return new CBoolType( isTrue() != a.isTrue() );
00273         }

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         }

00289         {
00290                 return new CBoolType( isTrue() == a.isTrue() );
00291         }

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                 }

00306         {
00307                 return _Vars[i];
00308         }

00196         {
00197                 // Pour chaque liaison...
00198 /*              std::list< CValueSet *>::iterator it_l = _Liaisons.begin();
00199                 
00200                 while ( it_l != _Liaisons.end() )
00201                 {
00202                         CValueSet *result;
00203                         if ( result = fp->unify( *it_l ) )
00204                         {
00205                                 if ( result->undefined() == 0 )
00206                                         _Conflits.push_back( result );
00207                                 else 
00208                                         _BufLiaisons.push_back( result );
00209                         }
00210                         it_l++;
00211                 }*/
00212         }

00215         {
00216                 // Pour chaque liaison...
00217                 std::list< CValueSet *>::iterator it_l = _Liaisons.begin();
00218                 
00219                 while ( it_l != _Liaisons.end() )
00220                 {
00221 //                      char buf[512];
00222                         CValueSet *l = *it_l;
00223 /*                      l->getDebugString( buf );
00224                         TRACE( "Pour liaison: %s \n", buf );*/
00225                         CValueSet *result = unifyLiaison( l, vals, pos_vals );
00226                         if ( result )
00227                         {
00228 
00229 /*                              char buf[512];
00230                                 result->getDebugString( buf );
00231                                 TRACE( "Unification: %s \n", buf );*/
00232 
00233                                 if ( result->undefined() == 0 )
00234                                 {
00235                                         _Conflits.push_back( result );
00236                                         _NbValid++;
00237                                 }
00238 
00239                                 else 
00240                                         _BufLiaisons.push_back( result );
00241                         }
00242                         it_l++;
00243                 }
00244 
00245                 addBuffer();
00246                 addConflicts();
00247 
00248         }

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

00151         {
00152                 std::vector<IBaseVar *>::iterator it_var = _Vars.begin();
00153                 while ( it_var != _Vars.end() )
00154                 {
00155                         if ( var == *it_var )
00156                         {
00157                                 ( *it_var )->release();
00158                                 _Vars.erase( it_var );
00159                                 return;
00160                         }
00161                         it_var++;
00162                 }
00163         }

00122         {
00123                  return IObjectIA::ProcessRun;
00124         }

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         }

00072         {                       
00073                 IObjectIA::save(os);
00074                 sint32 size = _Vars.size();
00075                 os.serial( size );
00076                 
00077                 for (sint32 i = 0; i < (sint32)_Vars.size() ; i++ )
00078                 {
00079                         os.serial( (NLAIC::CIdentType &) _Vars[ i ]->getType() );
00080                         _Vars[ i ]->save( os );
00081                 }
00082         }

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                 }

00305         {
00306                 std::list<CValueSet *>::iterator it_vs = _BufLiaisons.begin();
00307                 while ( it_vs != _BufLiaisons.end() )
00308                 {
00309                         std::string buf;
00310                         ( *it_vs )->getDebugString( buf );                      
00311                         it_vs++;
00312                 }
00313         }

00294         {
00295                 std::list<CValueSet *>::iterator it_vs = _Conflits.begin();
00296                 while ( it_vs != _Conflits.end() )
00297                 {
00298                         std::string buf;
00299                         ( *it_vs )->getDebugString( buf );
00300                         it_vs++;
00301                 }
00302         }

00316         {
00317                 std::list<CValueSet *>::iterator it_vs = _Liaisons.begin();
00318                 while ( it_vs != _Liaisons.end() )
00319                 {
00320                         std::string buf;
00321                         ( *it_vs )->getDebugString( buf );                      
00322                         it_vs++;
00323                 }
00324         }

00241         {
00242                 return _Vars.size();
00243         }

00281         {
00282                 if ( _NbValid > 0 )
00283                         return 1.0;
00284                 else
00285                         return 0.0;
00286         }

00297         {
00298                 sint32 nb_undef = _Vars.size();
00299                 for ( sint32 i = 0; i < (sint32) _Vars.size(); i++ )
00300                         if ( _Vars[i]->getValue() != NULL )
00301                                 nb_undef--;
00302                 return nb_undef;
00303         }

00206         {
00207                 if ( fp->size() != (sint32)_Vars.size() )
00208                         return NULL;
00209 
00210 /*              vector<IBaseVar *> *tmp_Vars = new vector<IObjetOp *>;
00211                 vector<IBaseVar *>::iterator it_vt = _Vars.begin();
00212 
00213                 CVarSet *unified = new CVarSet(NULL);
00214                                 
00215                 while ( it_vt != _Vars.end() )
00216                 {
00217                         IBaseVar *tmp_var = (IBaseVar *) (*it_vt)->clone();
00218                         if ( tmp_var->unify( *it_vu , true ) )
00219                                 unified->addVar( tmp_var );
00220                         else 
00221                         {
00222                                 delete tmp_var;
00223                                 delete unified;
00224                                 return NULL;
00225                         }
00226                         it_vt++;
00227                         it_vu++;
00228                 }
00229                 return unified;
00230                 */
00231                 return NULL;
00232         }

00352         {
00353                 // TODO:
00354 /*
00355                 std::list<CValueSet *>::iterator it_l = _Liaisons.begin();
00356                 while ( it_cond != _Conds.end() )
00357                 {
00358                         CVarSet *tmp = ( *it_cond )->unify( fact );
00359                         
00360                         if ( !tmp )
00361                                 return;
00362                         it_cond++;
00363                 }
00364                 */
00365                 return NULL;
00366         }

00252         {
00253                 CValueSet *result;
00254 
00255                 if ( (result = fp->unify( vals, pos_vals )) )
00256                         return result;
00257                 else
00258                 {
00259                         delete result;
00260                         return NULL;
00261                 }
00262         }

 NLAIC::CIdentType( "Clause", NLAIC::CSelfClassFactory(CClause()), 
                NLAIC::CTypeOfObject::tLogic,
                NLAIC::CTypeOfOperator::opAdd )


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
virtual void	addBuffer ()
virtual void	addCond (CFactPattern *cond)
virtual void	addConflicts ()
void	addVar (IBaseVar *)
CValueSet *	asCValueSet ()
virtual TQueue	canProcessMessage (const IVarName &)
	CClause (std::list< CFactPattern * > &)
	CClause (const CClause &)
	CClause ()
std::vector< IBaseAssert * > &	CClause::getAssert ()
void	CClause::init (NLAIAGENT::IObjectIA *)
virtual const NLAIC::IBasicType *	clone () const
sint32	decRef ()
	Decrement the reference of an object.
virtual void	getDebugString (std::string &) const
virtual const std::string	getInfo ()
std::list< CClause * > *	getInputs ()
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 const NLAIC::CIdentType &	getType () const
std::list< NLAIAGENT::IObjetOp * > *	getValues ()
virtual std::vector< IBaseVar * > *	getVars ()
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
bool	isEqual (const NLAIAGENT::IBasicObjectIA &a) const
virtual bool	isEqual (const CVarSet &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)
bool	isUnified ()
virtual void	load (NLMISC::IStream &is)
sint32	nbVars ()
virtual 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 NLAIAGENT::IObjetOp *	operator!= (NLAIAGENT::IObjetOp &a) 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 NLAIAGENT::IObjetOp *	operator== (NLAIAGENT::IObjetOp &a) const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator> (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual IObjetOp *	operator>= (IObjetOp &) const
	throw (NLAIE::CExceptionNotImplemented)
virtual IBaseVar *	operator[] (sint32)
virtual void	propagate (CFactPattern *)
virtual void	propagate (std::list< NLAIAGENT::IObjectIA * > *, std::vector< sint32 > &)
virtual void	release ()
	Release allow to release the pointer. The last release when the _Ref is nul delete the object.
void	removeVar (IBaseVar *)
virtual const 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)
void	showBuffer ()
void	showConflicts ()
void	showLiaisons ()
sint32	size ()
virtual float	truthValue () const
	Returns a value in [0,1].
virtual sint32	undefined ()
virtual CVarSet *	unify (CValueSet *)
virtual CVarSet *	unify (CVarSet *)
CValueSet *	unifyLiaison (const CValueSet , std::list< NLAIAGENT::IObjectIA > *, std::vector< sint32 > &)
	~CClause ()
Static Public Attributes
const NLAIC::CIdentType	IdClause
const NLAIC::CIdentType	IdVarSet
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 Member Functions
sint32	findAssert (IBaseAssert *)
Protected Attributes
std::vector< IBaseAssert * >	_Asserts
std::list< CValueSet * >	_BufLiaisons
std::vector< IBaseBoolType * >	_Conds
std::list< CValueSet * >	_Conflits
bool	_FirstOrderTrue
std::list< CValueSet * >	_Liaisons
sint32	_NbValid
std::vector< std::vector< sint32 > >	_PosVarsCond
std::list< CBoolAssert * >	_SimpleConds
std::vector< IBaseVar * >	_Vars
sint32	NbInstanciated

NLAILOGIC::CClause Class Reference

IObjectIA base class method;

[NOHEADER]

[NOHEADER]

Public Types

Public Member Functions

Static Public Attributes

Protected Member Functions

Protected Attributes

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

Field Documentation