From 3bd120957d570756d396db8a112113f2ffb8f33b Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 00:56:14 -0700
Subject: added negation

---
 proposition.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'proposition.c')

diff --git a/proposition.c b/proposition.c
index 2c1410c..c3fc897 100644
--- a/proposition.c
+++ b/proposition.c
@@ -1,15 +1,17 @@
 #include "proposition.h"
 /* a proposition defines a relation between two propositions */
-prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation) {
+prop_t init_prop(char isNegative, prop_t* propA, prop_t* propB, tokenType_t relation) {
 	prop_t prop;
+	prop.isNegative = isNegative;
 	prop.propA = propA;
 	prop.propB = propB;
 	prop.relation = relation;
 	return prop;
 }
 /* a simple proposition is one with only a name */
-prop_t init_simple_prop(char* name) {
+prop_t init_simple_prop(char isNegative, char* name) {
 	prop_t prop;
+	prop.isNegative = isNegative;
 	prop.name = name;
 	prop.isSimple = 1;
 	return prop;
-- 
cgit v1.3.1