diff options
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/parse.h | 3 | ||||
| -rw-r--r-- | inc/term.h | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/inc/parse.h b/inc/parse.h index fc5ffb2..c36f296 100644 --- a/inc/parse.h +++ b/inc/parse.h @@ -5,6 +5,7 @@ #include <term.h> -struct term *parse(const char *term); +struct term *parse_blc(const char *term); +struct term *parse_bruijn(const char *term); #endif @@ -31,6 +31,7 @@ struct term *duplicate_term(struct term *term); int alpha_equivalency(struct term *a, struct term *b); void free_term(struct term *term); void print_term(struct term *term); +void print_blc(struct term *term); void print_scheme(struct term *term); #endif |