aiassert.h

一个面向对象的产生式推理模型

//#include "AiMt.h"
class AiMt;
class AiWffs;
#include "AiMent.h"

class AiAssert:public CObject
{
	DECLARE_SERIAL(AiAssert)
public:
	AiAssert();
	AiAssert(CString Tstr ,CString Fstr );
	AiMt operator ! ();
	AiAssert(AiAssert& assert);
	AiMt operator & (AiAssert mtSrc);
	AiMt operator & (AiMt mtSrc);


	// 数据成员
private:
	//一个标记名
	int m_id;
	// 函数成员
public:
	int GetSign();
	int m_sign;
	static int* gm_numAssert;
	static AiMention* gm_mention;
	static void SetAssertNumTo(int* pNumAssert = NULL);
	static void SetAssertMentionTo(AiMention* pMention = NULL);
	static void EndSetAssert();
	int GetId();
	virtual void Serialize(CArchive& ar);
};