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

/******************************************************************************/
/*                              S T A T E S                                   */
/******************************************************************************/

/*                             (exec / edit)                   <   MODE
 *                                   X
 *                        (state / rules / data)               <   VIEW
 *                                   X
 *                     (measure / analyse / interpret)         <   DATA
 */
/******************************************************************************/

void set_view (int prescribed);
int  get_view ();
void set_mode (int prescribed);
int  get_mode ();

enum mode { RUN, EDIT };
enum view { INTER, STATE, RULES, DATA };
          //  MEASURE, OBSERVE, INTERPRET, HELP, CONFIGURE };

void toggle_TO (int mode, int view);