From 3bd120957d570756d396db8a112113f2ffb8f33b Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 13 Jun 2023 00:56:14 -0700 Subject: added negation --- lexer.c | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'lexer.c') diff --git a/lexer.c b/lexer.c index be35d85..5df1103 100644 --- a/lexer.c +++ b/lexer.c @@ -35,12 +35,18 @@ char* tttos(tokenType_t tokenType) { return "JUSTIFICATION"; case PREMISE: return "PREMISE"; + case NEGATION: + return "NEGATION"; case ASSUMPTION: return "ASSUMPTION"; case CONJUNCTION: return "CONJUNCTION"; case DISJUNCTION: return "DISJUNCTION"; + case IMPLICATION: + return "IMPLICATION"; + case BI_IMPLICATION: + return "BI_IMPLICATION"; default: return "???"; } @@ -128,6 +134,10 @@ token_t lex_first_token(char** content) { free(s); return init_token(ELIMINATION, NULL); } + else if (strcmp(s, "~") == 0) { + free(s); + return init_token(NEGATION, NULL); + } else if (strcmp(s, "^") == 0) { free(s); return init_token(CONJUNCTION, NULL); -- cgit v1.3.1