推理机doc.h

来自「一个基于H.wang的谓词演算公式的机器证明的vc实现」· C头文件 代码 · 共 41 行

// 推理机Doc.h : C推理机Doc 类的接口
//


#pragma once


class C推理机Doc : public CDocument
{
protected: // 仅从序列化创建
	C推理机Doc();
	DECLARE_DYNCREATE(C推理机Doc)

// 属性
public:

// 操作
public:

// 重写
public:
	virtual BOOL OnNewDocument();
	virtual void Serialize(CArchive& ar);

// 实现
public:
	virtual ~C推理机Doc();
#ifdef _DEBUG
	virtual void AssertValid() const;
	virtual void Dump(CDumpContext& dc) const;
#endif

protected:

// 生成的消息映射函数
protected:
	DECLARE_MESSAGE_MAP()
};