#include <stdlib.h>
#include "transition.h"

StatePtr searchState(StatePtr stateArray, StatePtr state) {
    while(stateArray) {
        if (stateArray->bitState.bitContainer == state->bitState.bitContainer) {
            return stateArray;
        }
        if (stateArray->next == NULL) {
            StatePtr s = createState(state->bitState);
            stateArray = appendState(stateArray,s);
            return stateArray;
        }
        stateArray = stateArray->next;
    }
    return stateArray;
}

StatePtr createState(BitVector bi) {
    StatePtr state = NEW(State);
    state->bitState = bi;
    state->transition = NEW(Transition);
    state->nextNode = NEW(Node);
    return state;
}

StatePtr appendState(StatePtr x,StatePtr y) {
    StatePtr x0 = createState(x->bitState);
    StatePtr x1 = x0;
    for(;;) {
        if (x->next == NULL) {
            x1->next = y;
            return x0;
        }
        x = x->next;
        x1->next = createState(x->bitState);
        x1 = x1->next;
    }
    return x0;
}