conseqdlg.h

命题逻辑中的归结推理系统设计与实现用C++实现

// conseqDlg.h : 头文件
//
#include "DJListBox.h"
#pragma once
#include "afxwin.h"


// CconseqDlg 对话框
class CconseqDlg : public CDialog
{
// 构造
public:
	CconseqDlg(CWnd* pParent = NULL);	// 标准构造函数

	typedef struct node{
		char data;
		int n;
		struct node *next,*pre; 
	}link;
	link *qlink,*plink,*head,*start,*end;

	int num;
	int step;
    char statu[100][100];  //记录字符,用来判断是否有重复的子句生成.
	int test[100][100];  //记录字符
	void show();//显示过程
	void exe(); //执行归结
	int find(int * ,int ); //查找两个子句
	int iscan( int *,int *,int *); //判断是否能归结
	void init();
	void toson();      //转为求反后待归结的命题公式
	void addchar(char); //链表后加入字符
	void addchar2(char c,int);//链表中加入字符
	void yunhan();  //消去->这个符号
	void delkuo();//删除多余括号
	void delnot();  //删除空链
	void addkuo();//为qApVb; 化为(qAp)Vb
    void fei();//消去~,如~(avb)=~aA~b;
	void hequ();  //将(aAb)vc转化为(avc)A(bvc);用到下面两个函数
     void dohequ(); 
	 void replace();
	 void over(); //合取式生成
    
	 CString mt; //命题输入

	char result[34][30]; // 在化合取时记录各种组合
	int resultfst; 



// 对话框数据
	enum { IDD = IDD_CONSEQ_DIALOG };

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


// 实现
protected:
	HICON m_hIcon;

	// 生成的消息映射函数
	virtual BOOL OnInitDialog();
	afx_msg void OnSysCommand(UINT nID, LPARAM lParam);
	afx_msg void OnPaint();
	afx_msg HCURSOR OnQueryDragIcon();
	DECLARE_MESSAGE_MAP()
public:
	CString input;
public:
	afx_msg void OnBnClickedOr();
public:
	afx_msg void OnBnClickedNot();
public:
	afx_msg void OnBnClickedKong();
public:
	afx_msg void OnBnClickedExe();
public:
	CString ttest;
public:
	afx_msg void OnBnClickedRe();
public:
	afx_msg void OnBnClickedY();
public:
	afx_msg void OnBnClickedL();
public:
	afx_msg void OnBnClickedR();
public:
	CDJListBox m_lListTest;
};