#include "abbas_roth_header.h"

int main()
{
    regles regs;                        //Tableau de règles
    regs.t_reg=0;                       //taille utile du tableau = 0

    bool faits[26];                     //tableau de faits
    for (int i=0; i<26; i++)            //initialisation de tous les faits à faux
    {faits[i]=false;}

    lecture("abbas_roth_regles.txt",&regs);     //lecture du fichier abbas_roth_regles.txt de règles

    cout<<"Saisissez un par un tous les faits initiaux (en MAJUSCULES)"<<endl;
    cout<<"Validez chaque fait par la touche ENTREE"<<endl;
    cout<<"Pour terminer la saisie tapez * puis validez)"<<endl;
    char saisie;
    cin>>saisie;
    while (saisie!='*')
    {
        faits[saisie-'A']=true;
        cin>>saisie;
    }

    cout<<"Quel fait voulez vous verifier (en MAJUSCULES) ?"<<endl;
    cin>>saisie;

    bool test_valide=false;
    test_valide=valider_fait(saisie-'A',faits,regs);

    if (test_valide)
    {
        cout<<endl<<endl<<"Le fait "<<saisie<<" est VALIDE !"<<endl;
    }else{
        cout<<endl<<endl<<saisie<<" n'est PAS VALIDE !"<<endl;
    }
    return 0;
}