GTK4_GG_hack/automaton.h

#include <gtk-4.0/gtk/gtk.h>
#include <assert.h>

enum choice_EXEC_EDIT { EXEC, EDIT };
enum choice_STATE_RULES_DATA { STATE, RULES, DATA };
          //  MEASURE, OBSERVE, INTERPRET, HELP, CONFIGURE }; ?

void set_EXEC_EDIT (int prescribed);
void set_STATE_RULES_DATA (int prescribed);

int  get_EXEC_EDIT ();
int  get_STATE_RULES_DATA ();

// char *get_str_EXEC_EDIT (int value);
// char *get_str_STATE_RULES_DATA (int value);