structure.h

The subject which is to us propos¨&brvbar is as follows: calculation of the degr¨&brvbar d&iexcl &ma

#ifndef _STRUCTURE_H_
#define _STRUCTURE_H_

#include "stdio.h"
#include "stdlib.h"
#include <set>
#include <map>
#include <vector>
#include <iostream>

using namespace std;

class CSetAtom : public set<int>
{
    public:
        //Constructor of CAtom
        CSetAtom();

        //Desctructor
        ~CSetAtom();
};

class CRegle
{
    public:
        //Constructor
        CRegle();
        //Destructor
        ~CRegle();
        
        void SetHead(int nNewHead);
        int GetHead();
		CSetAtom GetBodyPlus();
		CSetAtom GetBodyMinus();
        void AddBodyPlusEntry(int newEntry);
        void AddBodyMinusEntry(int newEntry);
        void WriteInformation();

    private:
        int nHead;
        CSetAtom bodyPlus;
        CSetAtom bodyMinus;
};

class CReglePos : public CRegle
{
    public:
        //Constructor
        CReglePos();
        //Destructor
        ~CReglePos();

        void SetDegree(int nNewDegree);
        int GetDegree();
        void WriteInformationPos();

    private:
        int nDegree;
};

class CProgLog
{
    public:
        //Constructor
        CProgLog();
        //Destructor
        ~CProgLog();

        virtual void AddRegle(CRegle* pRegle);
	virtual vector<CRegle*> GetAllLogicRules();
	char* GetDictionnaryEntry(int nPlace);
        int AddDictionnaryEntry(char* newEntry);
        void WriteInformation();
        void WriteDictionnary();
        int FindPlaceInDictionnary(char* str);

    private:
        vector<CRegle*> m_vSetOfRegle;  // Ensemble qui contient des objets de la classe CRegle 
        vector<char*> m_vDictionnary;
};

class CProgLogPos : public CProgLog
{
	public:
        //Constructor
        CProgLogPos();
        //Destructor
        ~CProgLogPos();

        void AddRegle(CReglePos* pRegle);
        void WriteInformation();
	vector<CRegle*> GetAllLogicRules(); // Used for generation of stable models
	vector<CReglePos*> GetAllPossibilistRules();

    private:
        vector<CReglePos*> m_vSetOfRegle; //on red閒init l'ensemble car il porte sur des regles possibilistes
};

#endif // _STRUCTURE_H_