1 files changed, 14 insertions, 0 deletions
diff --git a/proposition.c b/proposition.c
index e69de29..0919aa8 100644
--- a/proposition.c
+++ b/proposition.c
@@ -0,0 +1,14 @@
+#include "proposition.h"
+prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation) {
+	prop_t prop;
+	prop.propA = propA;
+	prop.propB = propB;
+	prop.relation = relation;
+	return prop;
+}
+prop_t init_simple_prop(char* name) {
+	prop_t prop;
+	prop.name = name;
+	prop.isSimple = 1;
+	return prop;
+}