c 程序判断离散数学中命题公式

c++程序判断离散数学中命题公式，MFC开发

// SeqQueue.cpp: implementation of the SeqQueue class.
//
//////////////////////////////////////////////////////////////////////

#include “stdafx.h“
#include “命题公式.h“
#include “SeqQueue.h“

#ifdef _DEBUG
#undef THIS_FILE
static char THIS_FILE[]=__FILE__;
#define new DEBUG_NEW
#endif
#include“assert.h“
//////////////////////////////////////////////////////////////////////
// Construction/Destruction
//////////////////////////////////////////////////////////////////////

SeqQueue::SeqQueue（int sz）  {     //构造函数
      front=0; rear=0; maxSize=sz;
      elements = new int[maxSize];		
      assert （ elements != NULL ）;
}
bool SeqQueue::EnQueue（int &x） {           
//若队列不满 则将x插入到该队列队尾 否则返回      if （IsFull（） == true） return false;   
     elements[rear] = x;                                    //先存入
     rear = （rear+1） % maxSize;                   //尾指针加一
     return true;			
};

bool SeqQueue::DeQueue（int& x） { 
//若队列不空则函数退队头元素并返回其值
     if （IsEmpty（） == true） return false;   
     x = elements[front];                                  //先取队头
     front = （front+1） % maxSize;      //再队头指针加一
     return true;
}
bool SeqQueue::getFront（int& x） {
//若队列不空则函数返回该队列队头元素的值
     if （IsEmpty（） == true） return false;    //队列空
	 x = elements[front];		    //返回队头元素
	 return true;
}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件       5918  2010-05-11 10:54  命题公式_终止\Debug\SeqQueue.obj

     文件       8819  2010-05-11 10:54  命题公式_终止\Debug\Stack.obj

     文件       8858  2010-05-11 10:54  命题公式_终止\Debug\Stacki.obj

     文件     105436  2010-05-11 10:54  命题公式_终止\Debug\StdAfx.obj

     文件     364544  2010-05-11 11:26  命题公式_终止\Debug\vc60.pdb

     文件     127038  2010-05-11 11:26  命题公式_终止\Debug\命题公式.exe

     文件      15906  2010-05-11 10:54  命题公式_终止\Debug\命题公式.obj

     文件     394240  2010-05-11 11:26  命题公式_终止\Debug\命题公式.pdb

     文件       2776  2010-05-11 10:54  命题公式_终止\Debug\命题公式.res

     文件      59986  2010-05-11 11:26  命题公式_终止\Debug\命题公式Dlg.obj

     文件       3597  2010-05-04 16:14  命题公式_终止\ReadMe.txt

     文件       1078  2010-05-04 16:14  命题公式_终止\res\命题公式.ico

     文件        400  2010-05-04 16:14  命题公式_终止\res\命题公式.rc2

     文件       1054  2010-05-06 21:57  命题公式_终止\resource.h

     文件       1420  2003-02-01 08:17  命题公式_终止\SeqQueue.cpp

     文件       1159  2010-05-05 17:33  命题公式_终止\SeqQueue.h

     文件       1154  2010-05-04 17:03  命题公式_终止\Stack.cpp

     文件        832  2010-05-05 17:33  命题公式_终止\Stack.h

     文件       1153  2010-05-04 17:46  命题公式_终止\Stacki.cpp

     文件        848  2010-05-05 17:33  命题公式_终止\Stacki.h

     文件        210  2010-05-04 16:14  命题公式_终止\StdAfx.cpp

     文件       1054  2010-05-04 16:14  命题公式_终止\StdAfx.h

     文件      21072  2010-05-10 12:43  命题公式_终止\命题公式.aps

     文件       1400  2010-05-11 11:30  命题公式_终止\命题公式.clw

     文件       2025  2010-05-04 16:14  命题公式_终止\命题公式.cpp

     文件       4647  2003-02-01 09:31  命题公式_终止\命题公式.dsp

     文件        541  2010-05-04 16:14  命题公式_终止\命题公式.dsw

     文件       1292  2010-05-04 16:14  命题公式_终止\命题公式.h

     文件      82944  2010-05-11 11:30  命题公式_终止\命题公式.ncb

     文件      50688  2010-05-11 11:30  命题公式_终止\命题公式.opt

............此处省略10个文件信息