# Home    # nevrax.com   
Nevrax
Nevrax.org
#News
#Mailing-list
#Documentation
#CVS
#Bugs
#License
Docs
 
Documentation  
Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members   Related Pages   Search  

bool_assert.h

Go to the documentation of this file.
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 NLIACeral 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  * NLIACeral Public License for more details.
00019 
00020  * You should have received a copy of the GNU NLIACeral 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_BOOL_ASSERT_H
00027 #define NL_BOOL_ASSERT_H
00028 
00029 #include "nel/ai/logic/ai_assert.h"
00030 
00031 namespace NLAILOGIC {
00032         class CBoolAssert : public NLAILOGIC::IBaseAssert 
00033         {
00034                 private:
00035                         bool _Value;
00036                 public:
00037                         CBoolAssert( const NLAIAGENT::IVarName &, bool truth = false); 
00038                         CBoolAssert( const CBoolAssert &);
00039                         virtual ~CBoolAssert();
00040                         virtual void addFact(NLAILOGIC::CFact *);
00041                         virtual void addFact(CVarSet *);
00042                         virtual void addFact(CValueSet *);
00043                         virtual void removeFact(NLAILOGIC::CFact *);
00044 
00045                         static const NLAIC::CIdentType IdBoolAssert;
00046                         virtual const NLAIC::CIdentType &getType() const;
00047 
00048                         virtual const NLAIC::IBasicType *clone() const;
00049                         virtual const NLAIC::IBasicType *newInstance() const;
00050                         virtual void save(NLMISC::IStream &os);
00051                         virtual void load(NLMISC::IStream &is);
00052                         virtual void getDebugString(std::string &) const;
00053                         bool isEqual(const NLAIAGENT::IBasicObjectIA &a) const;
00054                         virtual const NLAIAGENT::IObjectIA::CProcessResult &run();
00055 
00056                         virtual bool isTrue() const;
00057 
00058                         virtual sint32 nbVars() const;
00059                         virtual std::list<NLAILOGIC::CFact *> *getFacts() const;
00060         };
00061 }
00062 #endif
00063