loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

zen.h (293B)


      1 #include <stdio.h>
      2 #include "schema.h"
      3 
      4 typedef enum {
      5 	WAITING_FOR_OP,
      6 	WAITING_FOR_A,
      7 	WAITING_FOR_B,
      8 	ERROR
      9 } garden_status;
     10 
     11 typedef struct garden garden;
     12 
     13 garden *new_garden(schema*);
     14 void instruct(garden*, symbol);
     15 garden_status get_status(garden*);
     16 void display_garden(FILE*, garden*);