1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/// @file
#ifndef U3_ZAVE_H
#define U3_ZAVE_H
#include "c3/c3.h"
#include "types.h"
/** Memoization.
***
*** The memo cache is keyed by an arbitrary symbolic function
*** and a noun argument to that (logical) function. Functions
*** are predefined by C-level callers, but 0 means nock.
***
*** Memo functions RETAIN keys and transfer values.
**/
/* u3z_cid: cache id
*/
typedef enum {
u3z_memo_toss = 0,
u3z_memo_keep = 1,
// u3z_memo_ford = 2,
// u3z_memo_ames = 3,
// ...
} u3z_cid;
/* u3z_key*(): construct a memo cache-key. Arguments retained.
*/
u3_noun u3z_key(c3_m, u3_noun);
u3_noun u3z_key_2(c3_m, u3_noun, u3_noun);
u3_noun u3z_key_3(c3_m, u3_noun, u3_noun, u3_noun);
u3_noun u3z_key_4(c3_m, u3_noun, u3_noun, u3_noun, u3_noun);
u3_noun u3z_key_5(c3_m, u3_noun, u3_noun, u3_noun, u3_noun, u3_noun);
/* u3z_find*(): find in memo cache. Arguments retained
*/
u3_weak u3z_find(u3z_cid cid, u3_noun key);
u3_weak u3z_find_m(u3z_cid cid, c3_m fun_m, u3_noun one);
u3_weak u3z_find_up(u3_noun key);
/* u3z_save(): save in memo cache. TRANSFER key; RETAIN val;
*/
u3_noun u3z_save(u3z_cid cid, u3_noun key, u3_noun val);
/* u3z_save_m(): save in memo cache. Arguments retained
*/
u3_noun u3z_save_m(u3z_cid cid, c3_m fun_m, u3_noun one, u3_noun val);
/* u3z_uniq(): uniquify with memo cache.
*/
u3_noun
u3z_uniq(u3z_cid cid, u3_noun som);
/* u3z_reap(): promote memoization cache state.
*/
void
u3z_reap(u3z_cid cid, u3p(u3h_root) har_p);
/* u3z_free(): free memoization cache.
*/
void
u3z_free(u3z_cid cid);
/* u3z_ream(): refresh after restoring from checkpoint.
*/
void
u3z_ream(u3z_cid cid);
#endif /* ifndef U3_ZAVE_H */
|
