//*****************Cette classe permet de définir un axiome**************
//Un axiome est une collection de symbole ou les symboles ont des règles*
//***********************************************************************

#include "regle.h"
#include <vector.h>
using namespace std;

class axiome{
 private:
  vector<symbole> collection_symbole; //la représentation de l'axiome
  
 public:
  //les constructeurs
  axiome(){};
  axiome(vector<symbole>);
  
  //les méthodes
  void affiche();                      //permet d'afficher l'axiome 
  vector<symbole> getVector(); //renvoie la collection de symboles
 };