From 1d3bbec4660dfe4e2117826ceef9b32758b40345 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 14:50:00 -0700
Subject: restructured project

---
 src/proposition.h | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 src/proposition.h

(limited to 'src/proposition.h')

diff --git a/src/proposition.h b/src/proposition.h
new file mode 100644
index 0000000..2d09688
--- /dev/null
+++ b/src/proposition.h
@@ -0,0 +1,34 @@
+#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