From 43bfe5935b3f1d38775c3bc65262aca5683c0fb5 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Sun, 11 Jun 2023 23:33:40 -0700 Subject: added parsing of justifications --- proposition.c | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) (limited to 'proposition.c') 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; +} -- cgit v1.3.1