推理机view.h

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

// 推理机View.h : C推理机View 类的接口
//

#include "myqueue.h"
#pragma once


class C推理机View : public CScrollView
{
protected: // 仅从序列化创建
	C推理机View();
	DECLARE_DYNCREATE(C推理机View)

// 属性
public:
	C推理机Doc* GetDocument() const;

// 操作
public:

// 重写
public:
	virtual void OnDraw(CDC* pDC);  // 重写以绘制该视图
	virtual BOOL PreCreateWindow(CREATESTRUCT& cs);
protected:
	virtual void OnInitialUpdate(); // 构造后第一次调用
	virtual BOOL OnPreparePrinting(CPrintInfo* pInfo);
	virtual void OnBeginPrinting(CDC* pDC, CPrintInfo* pInfo);
	virtual void OnEndPrinting(CDC* pDC, CPrintInfo* pInfo);

// 实现
public:
	virtual ~C推理机View();
#ifdef _DEBUG
	virtual void AssertValid() const;
	virtual void Dump(CDumpContext& dc) const;
#endif

protected:

// 生成的消息映射函数
protected:
	DECLARE_MESSAGE_MAP()
public:
	afx_msg void On32771();
	int f;
	CString formu;
	myqueue<CString> proof_procedure;
	CFont *m_pCurFont;
	int color,height;
	afx_msg void On32772();
	bool IsLegal(char *s,int start,int end);
	bool IsOperator(char s){return (s=='+')||(s=='*')||(s=='>')||(s=='=')||(s=='!');}
	bool Isalpha(char s){return ('a'<=s&&s<='z')||('A'<=s&&s<='Z');}
	int SimplifyCnf(char *s);
	int SimplifyDnf(char *s);
	afx_msg void On32777();
};

#ifndef _DEBUG  // 推理机View.cpp 中的调试版本
inline C推理机Doc* C推理机View::GetDocument() const
   { return reinterpret_cast<C推理机Doc*>(m_pDocument); }
#endif