From 43bfe5935b3f1d38775c3bc65262aca5683c0fb5 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Sun, 11 Jun 2023 23:33:40 -0700
Subject: added parsing of justifications

---
 proposition.h | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

(limited to 'proposition.h')

diff --git a/proposition.h b/proposition.h
index d2f5ac6..95f377c 100644
--- a/proposition.h
+++ b/proposition.h
@@ -10,7 +10,24 @@ typedef struct Proposition {
 } prop_t;
 prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation);
 prop_t init_simple_prop(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 {
-	tokenType_t rule;
+	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