annotate src/ploki/text.h @ 6946:d634e64cd991
<shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.
author |
HackBot |
date |
Wed, 24 Feb 2016 05:54:46 +0000 |
parents |
ac0403686959 |
children |
|
rev |
line source |
4223
|
1 #ifndef TEXT_H_
|
|
2 #define TEXT_H_
|
|
3
|
|
4 #include "op.h"
|
|
5
|
|
6 #include <stddef.h>
|
|
7
|
|
8 struct text {
|
|
9 size_t length, size;
|
|
10 struct op **start;
|
|
11 };
|
|
12
|
|
13 void text_on(struct text *);
|
|
14 void text_off(struct text *);
|
|
15 void text_1(struct text *);
|
|
16 struct op *text_push(struct text *, const struct op *);
|
|
17
|
|
18 #endif /* TEXT_H_ */
|