indlg.cpp

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

// inDlg.cpp : implementation file
//

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


// inDlg dialog

IMPLEMENT_DYNAMIC(inDlg, CDialog)

inDlg::inDlg(CWnd* pParent /*=NULL*/)
	: CDialog(inDlg::IDD, pParent)
	, formula(_T(""))
{

}

inDlg::~inDlg()
{
}

void inDlg::DoDataExchange(CDataExchange* pDX)
{
	CDialog::DoDataExchange(pDX);
	DDX_Text(pDX, IDC_EDIT1, formula);
}


BEGIN_MESSAGE_MAP(inDlg, CDialog)
	ON_BN_CLICKED(IDOK, &inDlg::OnBnClickedOk)
	ON_BN_CLICKED(IDOK2, &inDlg::OnBnClickedOk2)
	ON_BN_CLICKED(IDOK3, &inDlg::OnBnClickedOk3)
	ON_BN_CLICKED(IDOK4, &inDlg::OnBnClickedOk4)
	ON_BN_CLICKED(IDCANCEL, &inDlg::OnBnClickedCancel)
END_MESSAGE_MAP()


// inDlg message handlers

void inDlg::OnBnClickedOk()
{
	// TODO: Add your control notification handler code here
	f=1;
	OnOK();
}

void inDlg::OnBnClickedOk2()
{
	// TODO: Add your control notification handler code here
	f=2;
	OnOK();
}

void inDlg::OnBnClickedOk3()
{
	// TODO: Add your control notification handler code here
	f=3;
	OnOK();
}

void inDlg::OnBnClickedOk4()
{
	// TODO: Add your control notification handler code here
	f=4;
	OnOK();
}

void inDlg::OnBnClickedCancel()
{
	// TODO: Add your control notification handler code here
	f=5;
	OnCancel();
}