From 1d3bbec4660dfe4e2117826ceef9b32758b40345 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 13 Jun 2023 14:50:00 -0700 Subject: restructured project --- proposition.h | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 proposition.h (limited to 'proposition.h') diff --git a/proposition.h b/proposition.h deleted file mode 100644 index 2d09688..0000000 --- a/proposition.h +++ /dev/null @@ -1,34 +0,0 @@ -#ifndef PROPOSITION -#define PROPOSITION -#include "lexer.h" -typedef struct Proposition { - char isSimple; - char isNegative; - struct Proposition* propA; - struct Proposition* propB; - tokenType_t relation; - char* name; -} prop_t; -prop_t init_prop(char isNegative, prop_t* propA, prop_t* propB, tokenType_t relation); -prop_t init_simple_prop(char isNegative, char* name); -typedef enum JustificationRule { - ERR_R, - PREMISE_R, - ASSUMPTION_R, - CONJUNCT_INTRO, - DISJUNCT_INTRO, - IMPLICATION_INTRO, - BI_IMPLICATION_INTRO, - CONJUNCT_ELIM, - DISJUNCT_ELIM, - IMPLICATION_ELIM, - BI_IMPLICATION_ELIM -} justRule_t; -char* jrtos(justRule_t rule); -typedef struct Justification { - justRule_t rule; - int* references; - int referencesCount; -} just_t; -just_t init_just(justRule_t rule, int* references, int referencesCount); -#endif -- cgit v1.3.1