parse.h


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

#ifndef PARSE
#define PARSE
#include "proposition.h"
typedef struct Line {
	prop_t proposition;
	just_t justification;
} line_t;
typedef struct LineSet {
	line_t* lines;
	int count;
} lineSet_t;
lineSet_t init_lineset(line_t* lines, int count);
#endif