消解原理实现有界面

消解原理实现有界面，实现子句消解功能C++实现MFC做的界面，具体过程可以参考个人博客。

// ResolutionPrinciple.cpp : 定义应用程序的类行为。
//

#include “stdafx.h“
#include “ResolutionPrinciple.h“
#include “ResolutionPrincipleDlg.h“

#ifdef _DEBUG
#define new DEBUG_NEW
#endif


// CResolutionPrincipleApp

BEGIN_MESSAGE_MAP（CResolutionPrincipleApp CWinApp）
	ON_COMMAND（ID_HELP &CWinApp::onhelp）
END_MESSAGE_MAP（）


// CResolutionPrincipleApp 构造

CResolutionPrincipleApp::CResolutionPrincipleApp（）
{
	// 支持重新启动管理器
	m_dwRestartManagerSupportFlags = AFX_RESTART_MANAGER_SUPPORT_RESTART;

	// TODO: 在此处添加构造代码，
	// 将所有重要的初始化放置在 InitInstance 中
}


// 唯一的一个 CResolutionPrincipleApp 对象

CResolutionPrincipleApp theApp;


// CResolutionPrincipleApp 初始化

BOOL CResolutionPrincipleApp::InitInstance（）
{
	// 如果一个运行在 Windows XP 上的应用程序清单指定要
	// 使用 ComCtl32.dll 版本 6 或更高版本来启用可视化方式，
	//则需要 InitCommonControlsEx（）。否则，将无法创建窗口。
	INITCOMMONCONTROLSEX InitCtrls;
	InitCtrls.dwSize = sizeof（InitCtrls）;
	// 将它设置为包括所有要在应用程序中使用的
	// 公共控件类。
	InitCtrls.dwICC = ICC_WIN95_CLASSES;
	InitCommonControlsEx（&InitCtrls）;

	CWinApp::InitInstance（）;


	AfxEnableControlContainer（）;

	// 创建 shell 管理器，以防对话框包含
	// 任何 shell 树视图控件或 shell 列表视图控件。
	CShellManager *pShellManager = new CShellManager;

	// 标准初始化
	// 如果未使用这些功能并希望减小
	// 最终可执行文件的大小，则应移除下列
	// 不需要的特定初始化例程
	// 更改用于存储设置的注册表项
	// TODO: 应适当修改该字符串，
	// 例如修改为公司或组织名
	SetRegistryKey（_T（“应用程序向导生成的本地应用程序“））;

	CResolutionPrincipleDlg dlg;
	m_pMainWnd = &dlg;
	INT_PTR nResponse = dlg.DoModal（）;
	if （nResponse == IDOK）
	{
		// TODO: 在此放置处理何时用
		//  “确定”来关闭对话框的代码
	}
	else if （nResponse == IDCANCEL）
	{
		// TODO: 在此放置处理何时用
		//  “取消”来关闭对话框的代码
	}

	// 删除上面创建的 shell 管理器。
	if （pShellManager != NULL）
	{
		delete pShellManager;
	}

	// 由于对话框已关闭，所以将返回 FALSE 以便退出应用程序，
	//  而不是启动应用程序的消息泵。
	return FALSE;
}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2014-01-02 18:06  ResolutionPrinciple\
     目录           0  2014-01-02 18:00  ResolutionPrinciple\Debug\
     文件      232960  2014-01-02 18:00  ResolutionPrinciple\Debug\ResolutionPrinciple.exe
     文件     1209392  2014-01-02 18:00  ResolutionPrinciple\Debug\ResolutionPrinciple.ilk
     文件     5770240  2014-01-02 18:00  ResolutionPrinciple\Debug\ResolutionPrinciple.pdb
     目录           0  2014-01-02 17:58  ResolutionPrinciple\ResolutionPrinciple\
     文件         924  2013-10-13 14:53  ResolutionPrinciple\ResolutionPrinciple.sln
     文件       28160  2014-01-02 18:05  ResolutionPrinciple\ResolutionPrinciple.suo
     目录           0  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\
     文件        3394  2014-01-02 17:57  ResolutionPrinciple\ResolutionPrinciple\Debug\cl.command.1.tlog
     文件       66030  2014-01-02 17:57  ResolutionPrinciple\ResolutionPrinciple\Debug\CL.read.1.tlog
     文件        2326  2014-01-02 17:57  ResolutionPrinciple\ResolutionPrinciple\Debug\CL.write.1.tlog
     文件           2  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link-cvtres.read.1.tlog
     文件           2  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link-cvtres.write.1.tlog
     文件           2  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link.4724-cvtres.read.1.tlog
     文件           2  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link.4724-cvtres.write.1.tlog
     文件           2  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link.4724.read.1.tlog
     文件           2  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link.4724.write.1.tlog
     文件        2292  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link.command.1.tlog
     文件        5314  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link.read.1.tlog
     文件        1532  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\link.write.1.tlog
     文件         720  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\mt.command.1.tlog
     文件         712  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\mt.read.1.tlog
     文件         520  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\mt.write.1.tlog
     文件        1448  2013-11-09 16:07  ResolutionPrinciple\ResolutionPrinciple\Debug\rc.command.1.tlog
     文件        3346  2013-11-09 16:07  ResolutionPrinciple\ResolutionPrinciple\Debug\rc.read.1.tlog
     文件         686  2013-11-09 16:07  ResolutionPrinciple\ResolutionPrinciple\Debug\rc.write.1.tlog
     文件        6248  2013-11-09 14:43  ResolutionPrinciple\ResolutionPrinciple\Debug\ResolutionPrinciple.Build.CppClean.log
     文件         915  2013-11-09 14:43  ResolutionPrinciple\ResolutionPrinciple\Debug\ResolutionPrinciple.exe.embed.manifest
     文件         980  2013-11-09 14:43  ResolutionPrinciple\ResolutionPrinciple\Debug\ResolutionPrinciple.exe.embed.manifest.res
     文件         640  2014-01-02 18:00  ResolutionPrinciple\ResolutionPrinciple\Debug\ResolutionPrinciple.exe.intermediate.manifest
............此处省略30个文件信息