From 3bd120957d570756d396db8a112113f2ffb8f33b Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 13 Jun 2023 00:56:14 -0700 Subject: added negation --- proposition.h | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'proposition.h') diff --git a/proposition.h b/proposition.h index 95f377c..2d09688 100644 --- a/proposition.h +++ b/proposition.h @@ -2,14 +2,15 @@ #define PROPOSITION #include "lexer.h" typedef struct Proposition { + char isSimple; + char isNegative; struct Proposition* propA; struct Proposition* propB; tokenType_t relation; char* name; - char isSimple; } prop_t; -prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation); -prop_t init_simple_prop(char* name); +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, -- cgit v1.3.1