airule.h

来自「一个面向对象的产生式推理模型」· C头文件 代码 · 共 30 行

#if _MSC_VER >= 1000
#pragma once
#endif // _MSC_VER >= 1000

#include "AiAssert.h"
#include "AiWffs.h"
#include "AiMt.h"

class AiRule:public CObject
{
	DECLARE_SERIAL(AiRule)
public:
	AiMt GetWffsAsMt();
	BOOL GetExist();
	void SetExist(BOOL exist = TRUE);
	AiRule();
	// 数据成员:三元集合
	//前提集合
	//结论集合
	AiWffs m_wff;
	AiMt m_mt;
	BOOL m_exist;
	//表述
	// 函数成员
	void SetWffs(AiWffs wff);
	void SetMt(AiMt mt);
	AiWffs GetWffs();
	AiMt GetMt();
	virtual void Serialize(CArchive& ar);
};