proposition.h


1
2
3
4
5
6
7
8
9
10
11
12
13

#ifndef PROPOSITION
#define PROPOSITION
#include "lexer.h"
typedef struct Proposition {
	struct Proposition* propA;
	struct Proposition* propB;
	tokenType_t relation;
	char isSimple;
} prop_t;
typedef struct Justification {
	tokenType_t rule;
} just_t;
#endif