tokenizer.h (185B)
1 #include <stdio.h> 2 #include <stdbool.h> 3 4 #include "symbol.h" 5 6 typedef struct tokenizer tokenizer; 7 8 tokenizer *new_tokenizer(FILE*); 9 symbol next_token(tokenizer*); 10 bool eos(tokenizer*);
loaVirtual machine for the Logic of Assumptions | |
| git clone git://juanmeleiro.mat.br/loa | |
| Log | Files | Refs |