Home | nevrax.com |
|
bool_assert.hGo 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 |