#include <stdlib.h>
#include <stdio.h>
#include <stdbool.h>

#include <assert.h>


// Structure pour une proposition
struct prop_ {
    bool N; // Booléen indiquant si c'est une proposition N_i ou O_i
    int i; // Indice i associé à la proposition
};
typedef struct prop_ prop;

// Structure pour une règle reliée aux règles suivantes.
struct regle_ {
    struct regle_* suivant;
    prop* premisse;
    int taille_premisse;
    prop conclusion;
};
typedef struct regle_ regle;

void print_jeu(regle* r) {
    while (r != NULL) {
        for (int i = 0; i < r->taille_premisse; i++) {
            if (r->premisse[i].N) {
                printf("N_%d ", r->premisse[i].i);
            } else {
                printf("O_%d ", r->premisse[i].i);
            }
        }
        if (r->conclusion.N) {
            printf("=> N_%d\n", r->conclusion.i);
        } else {
            printf("=> O_%d\n", r->conclusion.i);
        }
        r = r->suivant;
    }
}


//////////////////////////////////////////////////////////////////////
// Tests

regle* genere_jeu_1() {

    regle* r = NULL;
    // Définition des règles représentant le jeu 1 donné en exemple.

    r = ajoute_regles_clefs(r, 2, (int []){1}, 1);
    r = ajoute_regles_clefs(r, 3, (int []){0}, 1);
    r = ajoute_regles_clefs(r, 4, (int []){0, 2}, 2);

    r = ajoute_regles_arete(r, 0, 1, (int []){0}, 1);
    r = ajoute_regles_arete(r, 1, 2, (int []){1}, 1);
    r = ajoute_regles_arete(r, 1, 2, (int []){}, 0);
    r = ajoute_regles_arete(r, 0, 3, (int []){}, 0);
    r = ajoute_regles_arete(r, 1, 4, (int []){1}, 1);
    r = ajoute_regles_arete(r, 2, 5, (int []){1, 2}, 2);
    r = ajoute_regles_arete(r, 3, 4, (int []){1}, 1);
    r = ajoute_regles_arete(r, 4, 5, (int []){0, 1}, 2);


    // Noeud initial d'indice 0, et noeud final d'indice 5
    // Ce jeu comprend 6 noeuds et 3 clefs différentes

    return r;
}

regle* genere_jeu_2() {

    regle* r = NULL;
    // Définition des règles représentant le jeu 2 donné en annexe.

    r = ajoute_regles_clefs(r, 1, (int []){2}, 1);
    r = ajoute_regles_clefs(r, 2, (int []){5}, 1);
    r = ajoute_regles_clefs(r, 3, (int []){0, 1}, 2);
    r = ajoute_regles_clefs(r, 5, (int []){8}, 1);
    r = ajoute_regles_clefs(r, 6, (int []){14}, 1);
    r = ajoute_regles_clefs(r, 7, (int []){12}, 1);
    r = ajoute_regles_clefs(r, 8, (int []){6}, 1);
    r = ajoute_regles_clefs(r, 9, (int []){3, 4}, 2);
    r = ajoute_regles_clefs(r, 10, (int []){13}, 1);
    r = ajoute_regles_clefs(r, 11, (int []){10}, 1);
    r = ajoute_regles_clefs(r, 12, (int []){11, 9}, 2);
    r = ajoute_regles_clefs(r, 14, (int []){15}, 1);
    r = ajoute_regles_clefs(r, 15, (int []){7}, 1);
    r = ajoute_regles_clefs(r, 16, (int []){5}, 1);
    r = ajoute_regles_clefs(r, 17, (int []){16}, 1);

    r = ajoute_regles_arete(r, 0, 3, (int []){11, 12, 13}, 3);
    r = ajoute_regles_arete(r, 1, 4, (int []){6, 7}, 2);
    r = ajoute_regles_arete(r, 2, 3, (int []){1}, 1);
    r = ajoute_regles_arete(r, 3, 4, (int []){3}, 1);
    r = ajoute_regles_arete(r, 3, 4, (int []){0}, 1);
    r = ajoute_regles_arete(r, 4, 5, (int []){0, 2}, 2);
    r = ajoute_regles_arete(r, 2, 6, (int []){5, 6}, 2);
    r = ajoute_regles_arete(r, 2, 7, (int []){}, 0);
    r = ajoute_regles_arete(r, 3, 7, (int []){4}, 1);
    r = ajoute_regles_arete(r, 3, 8, (int []){}, 0);
    r = ajoute_regles_arete(r, 4, 11, (int []){}, 0);
    r = ajoute_regles_arete(r, 5, 12, (int []){3}, 1);
    r = ajoute_regles_arete(r, 6, 7, (int []){4, 5}, 2);
    r = ajoute_regles_arete(r, 7, 8, (int []){4}, 1);
    r = ajoute_regles_arete(r, 8, 9, (int []){6}, 1);
    r = ajoute_regles_arete(r, 9, 10, (int []){7}, 1);
    r = ajoute_regles_arete(r, 10, 11, (int []){4, 7}, 2);
    r = ajoute_regles_arete(r, 7, 12, (int []){0}, 1);
    r = ajoute_regles_arete(r, 8, 12, (int []){0, 6}, 2);
    r = ajoute_regles_arete(r, 10, 13, (int []){}, 0);
    r = ajoute_regles_arete(r, 12, 13, (int []){0, 9}, 2);
    r = ajoute_regles_arete(r, 13, 14, (int []){7, 8}, 2);
    r = ajoute_regles_arete(r, 13, 15, (int []){2}, 1);
    r = ajoute_regles_arete(r, 13, 16, (int []){10}, 1);
    r = ajoute_regles_arete(r, 16, 17, (int []){15, 16}, 2);

    // Noeud initial d'indice 3, et noeud final d'indice 0
    // Ce jeu comprend 18 noeuds et 17 clefs différentes

    return r;
}


int main() {
    srand(1); // seed à changer pour modifier l'aléatoire généré.

    printf("Jeu 1\n");
    regle* r = genere_jeu_1();
    print_jeu(r);

    return 0;
}