stack1.h

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

//---------------------------------------------------------------------------

#ifndef Stack1H
#define Stack1H
//---------------------------------------------------------------------------
#endif
#include <Classes.hpp>


class T_Stack                                      
{
public:
        T_Stack(){q=(int *)malloc(1000);p=q;};
        ~T_Stack(){free(q);};
        int  Pop();
        void Push(int N){*p=N;p++;};
        int  Peek(){return *(p-1);};
        void do_empty();// {while(p!=q) p--;};
        int isempty(){if(p==q) return 1;else return 0;};
private:
        int *p;                         
        int *q;
};
int T_Stack::Pop()
{                                           
   if(isempty())
      return -1;                                                            
   else
      {p--; return *p;}                    
}


void T_Stack::do_empty()
{while(p!=q) p--;};