nevrax.org : docs

00001 
00007 /* Copyright, 2000 Nevrax Ltd.
00008  *
00009  * This file is part of NEVRAX NEL.
00010  * NEVRAX NEL is free software; you can redistribute it and/or modify
00011  * it under the terms of the GNU General Public License as published by
00012  * the Free Software Foundation; either version 2, or (at your option)
00013  * any later version.
00014 
00015  * NEVRAX NEL is distributed in the hope that it will be useful, but
00016  * WITHOUT ANY WARRANTY; without even the implied warranty of
00017  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
00018  * General Public License for more details.
00019 
00020  * You should have received a copy of the GNU General Public License
00021  * along with NEVRAX NEL; see the file COPYING. If not, write to the
00022  * Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
00023  * MA 02111-1307, USA.
00024  */
00025 
00026 #ifndef NL_FO_ASSERT_H
00027 #define NL_FO_ASSERT_H
00028 
00029 #include "nel/ai/logic/ai_assert.h"
00030 #include "nel/ai/agent/volatil_memory.h"
00031 
00032 namespace NLAILOGIC
00033 {
00034         class CFirstOrderAssert : public IBaseAssert 
00035         {
00036                 private:
00037                         std::vector< std::vector<sint32> >      _PosVars;               // Position des variables de l'assertion dans ces clauses
00038                         NLAIAGENT::CVolatilMemmory                      _Facts;                                         // Faits pour l'assertion
00039                         sint32 _NbVars;
00040 
00041                         std::vector<CClause *>                  _Clauses;
00042 
00043                         sint32 findAssert(IBaseAssert *);
00044 
00045                         std::vector< std::vector<sint32> > _PosVarsInputs;
00046 
00047                 public:
00048                         CFirstOrderAssert(const NLAIAGENT::IVarName &n, sint32 nb_vars = 0);
00049                         CFirstOrderAssert(const CFirstOrderAssert &);
00050                         virtual ~CFirstOrderAssert();
00051                         void connectClause(CClause *, std::vector<sint32> &);
00052                         void addFact(CVarSet *f);
00053                         void addFact(CValueSet *);
00054                         void removeFact(CFact *f);
00055                         void addClause(CClause *CClause, std::vector<sint32> &posvars);
00056                         const std::vector<CClause *> &getClauses();
00057                         void addInput(CClause *, std::vector<sint32> &posvars );
00058 
00059                         static const NLAIC::CIdentType IdFirstOrderAssert;
00060 
00061                         virtual const NLAIC::IBasicType *clone() const;
00062                         virtual const NLAIC::IBasicType *newInstance() const;
00063                         virtual void save(NLMISC::IStream &os);
00064                         virtual void load(NLMISC::IStream &is);
00065                         virtual void getDebugString(std::string &) const;
00066                         bool isEqual(const NLAIAGENT::IBasicObjectIA &a) const;
00067                         virtual bool isEqual(const CFirstOrderAssert &) const;
00068                         virtual const IObjectIA::CProcessResult &run();
00069                         virtual bool isTrue() const;
00070                         virtual const NLAIC::CIdentType &getType() const;
00071 
00072                         virtual void init(NLAIAGENT::IObjectIA *);
00073                         virtual sint32 nbVars() const;
00074 
00075                         void backward(CValueSet *, std::list<CValueSet *> &);
00076 
00077                         std::list<CFact *> *backward(CFact *);
00078 
00079                         std::list<CFact *> *getFacts() const;
00080         };
00081 }
00082 #endif
fo_assert.h
