loa

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

assoc.h (293B)

      1 #include "symbol.h"
      2 
      3 typedef struct assoc assoc;
      4 
      5 /* Guarantees:
      6    - assoc_set(s, p), assoc_get(s) == p;
      7  */
      8 
      9 assoc* new_assoc(void);
     10 void* assoc_get(assoc*, symbol);
     11 void assoc_set(assoc*, symbol, void*);
     12 void free_assoc(assoc*);
     13 size_t get_amount_of_keys(assoc*);
     14 symbol* get_keys(assoc*);