推理机.h

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

// 推理机.h : 推理机 应用程序的主头文件
//
#pragma once

#ifndef __AFXWIN_H__
	#error "在包含此文件之前包含“stdafx.h”以生成 PCH 文件"
#endif

#include "resource.h"       // 主符号


// C推理机App:
// 有关此类的实现，请参阅 推理机.cpp
//

class C推理机App : public CWinApp
{
public:
	C推理机App();


// 重写
public:
	virtual BOOL InitInstance();

// 实现
	afx_msg void OnAppAbout();
	DECLARE_MESSAGE_MAP()
};

extern C推理机App theApp;