#include <iostream.h> 
#include "axiome.h"
#include <vector.h>
vector<symbole>::iterator it;  //itérateur por se déplacer dans le vecteur
//constructeur
axiome::axiome(vector<symbole> collection){
  collection_symbole = collection;
}

void axiome::affiche(){
  for(it = collection_symbole.begin(); it<collection_symbole.end(); it++){
    symbole s = *it;
    s.lireSymbole();
  }
}

vector<symbole> axiome::getVector(){
  return collection_symbole;
}