#include <math.h>
#include <string.h>
#include "State.h"
#include "Transition.h"
#include "Convert.h"
#include "Machine.h"
#include "TransitionInfo.h"