#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "regexParser.h"
#include "subsetConstraction.h"
#include "node.h"

int main(int argc, char **argv)
{
    RegexInfo ri;
    ri.stateNumber = 1;
    for (int i = 1; i < argc; i++) {
        if (strcmp(argv[i],"-regex") == 0) {
            ri.ptr = (unsigned char*)argv[i+1]; i++;
        }
    }
    printf("regex : %s\n",ri.ptr);
    NodePtr n = regex(&ri);
    TransitionGeneratorPtr tg = generateTransitionList(n);
    printTree(n);
    printState(tg);
    return 0;
}