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


/******************************************************************************/
/*                              EXEC / EDIT                                   */
/******************************************************************************/

enum { EXEC_MODE, EDIT_MODE};
static int exec_edit_mode = EXEC_MODE;

int  get_exec_edit_mode () {return exec_edit_mode;}
void set_exec_edit_mode (int prescribed) {exec_edit_mode = prescribed;}



/******************************************************************************/
/*                              RUN / STOP                                    */
/******************************************************************************/

enum { STOP, RUN };
static int run_stop = STOP;

int  get_run_xor_stop_exec () {return run_stop;}
void set_run_xor_stop_exec (int prescribed) {run_stop = prescribed;}


/******************************************************************************/
/*             STATE  /  RULES  /  MEASURES  /  INTERPRETATIONS               */
/******************************************************************************/

enum { STATE, RULES, MEASURE, OBSERVE, INTERPRET, HELP, CONFIGURE };
static int switch_observ_interpret = STATE;

int  get_observ_interpret () {return switch_observ_interpret;}
void set_observ_interpret (int prescribed) {switch_observ_interpret = prescribed;}

// if (0) printf ("switch_observ_interpret = %d\n", switch_observ_interpret);