proposition.c


1
2
3
4
5
6
7
8
9
10
11
12
13
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;
}