added negation

1 files changed, 4 insertions, 3 deletions

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,