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_IA_ASSERT_H
00027 #define NL_IA_ASSERT_H
00028 
00029 #include "nel/ai/agent/agent.h"
00030 #include "nel/ai/logic/var.h"
00031 
00032 namespace NLAILOGIC
00033 {
00034         class CClause;
00035         class CVarSet;
00036         class CValueSet;
00037         class CFact;
00038         class IBaseOperator;
00039 
00040         class IBaseAssert : public NLAIAGENT::IObjetOp
00041         {
00042                 protected:
00043                         NLAIAGENT::IVarName *_Name;
00044                         std::vector<IBaseOperator *>            _Outputs;               // Operators referecing the assertion in their preconditions
00045                         std::vector<IBaseOperator *>            _Inputs;                // Operators referecing the assertion in their postconditions
00046         
00047                 public:
00048                         IBaseAssert(const NLAIAGENT::IVarName &n );
00049                         virtual ~IBaseAssert();
00050 
00051                         //virtual void connectClause(CClause *) = 0;
00052                         virtual void addFact(CValueSet *) = 0;
00053                         virtual void addFact(CVarSet *) = 0;
00054                         virtual void removeFact(CFact *) = 0;
00055 
00056                         virtual NLAIAGENT::IVarName &getName() const
00057                         {
00058                                 return *_Name;
00059                         }
00060 
00061                         virtual bool operator==(IBaseAssert *cp) 
00062                         {
00063                                 return ( _Name == cp->_Name );
00064                         }
00065 
00066                         virtual void addInput(IBaseOperator *);
00067                         virtual const std::vector<IBaseOperator *> &getInputs();
00068                         virtual void addOutput(IBaseOperator *);
00069                         virtual const std::vector<IBaseOperator *> &getOutputs();
00070 
00071                         virtual const NLAIC::CIdentType &getType() const = 0;
00072                         virtual sint32 nbVars() const = 0;
00073                         virtual std::list<CFact *> *getFacts() const = 0;
00074         };
00075 }
00076 
00077 #endif
ai_assert.h
