added parsing of justifications

1 files changed, 29 insertions, 0 deletions

diff --git a/proposition.c b/proposition.c
index 0919aa8..76ae4cd 100644
--- a/proposition.c
+++ b/proposition.c
@@ -12,3 +12,32 @@ prop_t init_simple_prop(char* name) {
 	prop.isSimple = 1;
 	return prop;
 }
+char* jrtos(justRule_t rule) {
+	switch (rule) {
+		case PREMISE_R:
+			return "PREMISE";
+		case ASSUMPTION_R:
+			return "ASSUMPTION";
+		case CONJUNCT_INTRO:
+			return "CONJUNCTION INTRODUCTION";
+		case DISJUNCT_INTRO:
+			return "DISJUNCTION INTRODUCTION";
+		case IMPLICATION_INTRO:
+			return "IMPLICATION INTRODUCTION";
+		case CONJUNCT_ELIM:
+			return "CONJUNCTION ELIMINATION";
+		case DISJUNCT_ELIM:
+			return "DISJUNCTION ELIMINATION";
+		case IMPLICATION_ELIM:
+			return "IMPLICATION ELIMINATION";
+		default:
+			return "ERR";
+	}
+}
+just_t init_just(justRule_t rule, int* references, int referencesCount) {
+	just_t just;
+	just.rule = rule;
+	just.references = references;
+	just.referencesCount = referencesCount;
+	return just;
+}