conseq.h

命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告

// conseq.h : PROJECT_NAME 应用程序的主头文件
//
#pragma once

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

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


// CconseqApp:
// 有关此类的实现，请参阅 conseq.cpp
//

class CconseqApp : public CWinApp
{
public:
	CconseqApp();

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

// 实现

	DECLARE_MESSAGE_MAP()
};

extern CconseqApp theApp;