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-07 23:34:08 +02:00
|
|
|
|
2024-06-13 00:08:10 +02:00
|
|
|
enum choice { INTER, STATE, RULES, DATA };
|
|
|
|
|
|
|
|
|
|
void SWITCH_TO (int asked);
|
