indlg.h

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

#pragma once


// inDlg dialog

class inDlg : public CDialog
{
	DECLARE_DYNAMIC(inDlg)

public:
	inDlg(CWnd* pParent = NULL);   // standard constructor
	virtual ~inDlg();

// Dialog Data
	enum { IDD = IDD_DIALOG1 };

protected:
	virtual void DoDataExchange(CDataExchange* pDX);    // DDX/DDV support

	DECLARE_MESSAGE_MAP()
public:
	CString formula;
	int f;
	void construct(CString s){formula=s;}
	CString form(){return formula;}
	afx_msg void OnBnClickedOk();
	afx_msg void OnBnClickedOk2();
	afx_msg void OnBnClickedOk3();
	afx_msg void OnBnClickedOk4();
	afx_msg void OnBnClickedCancel();
};