2024-06-02 22:49:16 +02:00
|
|
|
#include <gtk-4.0/gtk/gtk.h>
|
|
|
|
|
#include <assert.h>
|
|
|
|
|
|
2024-06-09 13:27:15 +02:00
|
|
|
void set_status (int prescribed);
|
|
|
|
|
int get_status ();
|
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-13 00:08:10 +02:00
|
|
|
enum choice { 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
|
|
|
|
|
|
|
|
void SWITCH_TO (int asked);
|
