2024-06-02 22:49:16 +02:00
|
|
|
#include <gtk-4.0/gtk/gtk.h>
|
|
|
|
#include <assert.h>
|
|
|
|
|
2024-06-16 06:38:14 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* 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 ();
|
2024-06-16 00:06:49 +02:00
|
|
|
void set_mode (int prescribed);
|
|
|
|
int get_mode ();
|
2024-06-07 23:34:08 +02:00
|
|
|
|
2024-06-16 00:06:49 +02:00
|
|
|
enum mode { RUN, EDIT };
|
2024-06-16 06:38:14 +02:00
|
|
|
enum view { INTER, STATE, RULES, DATA };
|
2024-06-15 23:29:17 +02:00
|
|
|
// MEASURE, OBSERVE, INTERPRET, HELP, CONFIGURE };
|
2024-06-13 00:08:10 +02:00
|
|
|
|
2024-06-17 11:48:20 +02:00
|
|
|
void toggle_TO (int mode, int view);
|