推理机doc.cpp

一个基于H.wang的谓词演算公式的机器证明的vc实现

// 推理机Doc.cpp : C推理机Doc 类的实现
//

#include "stdafx.h"
#include "推理机.h"

#include "推理机Doc.h"

#ifdef _DEBUG
#define new DEBUG_NEW
#endif


// C推理机Doc

IMPLEMENT_DYNCREATE(C推理机Doc, CDocument)

BEGIN_MESSAGE_MAP(C推理机Doc, CDocument)
END_MESSAGE_MAP()


// C推理机Doc 构造/析构

C推理机Doc::C推理机Doc()
{
	// TODO: 在此添加一次性构造代码

}

C推理机Doc::~C推理机Doc()
{
}

BOOL C推理机Doc::OnNewDocument()
{
	if (!CDocument::OnNewDocument())
		return FALSE;

	// TODO: 在此添加重新初始化代码
	// (SDI 文档将重用该文档)

	return TRUE;
}




// C推理机Doc 序列化

void C推理机Doc::Serialize(CArchive& ar)
{
	if (ar.IsStoring())
	{
		// TODO: 在此添加存储代码
	}
	else
	{
		// TODO: 在此添加加载代码
	}
}


// C推理机Doc 诊断

#ifdef _DEBUG
void C推理机Doc::AssertValid() const
{
	CDocument::AssertValid();
}

void C推理机Doc::Dump(CDumpContext& dc) const
{
	CDocument::Dump(dc);
}
#endif //_DEBUG


// C推理机Doc 命令