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

#include "Automaton.h"

#define UNDEFINED -1

Automaton* create_automaton(void) {
	return NULL;
}

int add_state(Automaton* a) {
	return 0;
}

bool has_state(Automaton* a, int state) {
	return FALSE;
}

void set_initial(Automaton *a, int state) {

}

int get_initial(Automaton *a) {
	return 0;
}

void set_final(Automaton *a, int state) {

}

bool is_final(Automaton *a, int state) {
	return FALSE;
}

void print_automaton(Automaton* a) {

}

void add_arc(Automaton* a, int from, int to, int symbol) {

}

bool has_arc(Automaton* a, int from, int to, int symbol) {
	return FALSE;
}

Automaton* copy_automaton(Automaton* a) {
	return NULL;
}

void destroy_automaton(Automaton* a) {

}