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