lambda/lambda_expr.h at master · tbonelaforge/lambda · GitHub

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
70
71
#ifndef _LAMBDA_EXPR_H
#define _LAMBDA_EXPR_H

#include "hash.h"
#include "list.h"

/*============================================================

Definition: lambda_expr

============================================================*/

struct lambda_expr {
    char type[8]; // Can be 'LAMBDA', 'BETA', 'VAR', or 'TEXT' (temporarily).
    char * data; // Should only be a variable name.
    struct hash * bound;
    struct hash * free;
    int parents;
    struct lambda_expr * child[2];
    int first; // Substring of input starts here.
    int last; // Substring of input ends here.
};


/*============================================================

Definition: lambda_search_state

============================================================*/

struct lambda_search_state {
    struct lambda_expr * parent;
    struct lambda_expr * current;
    int parent_choice;
    int progress;
};


struct lambda_expr * new_lambda_expr();
struct lambda_search_state * new_lambda_search_state();
void update_variables( struct lambda_expr * );
void update_lambda_variables( struct lambda_expr * );
void update_beta_variables( struct lambda_expr * );
void update_var_variables( struct lambda_expr * );
void expand_variables( struct hash *, struct hash * );
void refine_variables( struct hash *, struct hash *, struct hash * );
char * print_lambda_expr( struct lambda_expr * );
char * print_lambda_expr_address( struct lambda_expr * );
char * print_lambda_expr_type( struct lambda_expr * );
char * print_lambda_expr_data( struct lambda_expr * );
char * print_lambda_expr_variables( struct lambda_expr * );
struct lambda_expr * substitute( struct lambda_expr *, struct lambda_expr *, struct list * );
int process_substitution_candidate( struct lambda_search_state *, struct list * );
void rename_var( struct lambda_expr *, struct list * );
int process_rename_candidate( struct lambda_search_state *, struct list * );
int try_to_delete(struct lambda_expr *);
char * fresh_variable( char *, struct hash * );
void change_child( int, struct list *, int, struct lambda_expr * );
int process_beta_reduction( struct lambda_search_state *, struct list * );
int pre_order_traverse( struct list *, int (*process_and_stop)( struct lambda_search_state *, struct list * ), int );
struct lambda_expr * copy_lambda_expr( struct lambda_expr * );
void add_to_global_V( char *, struct lambda_expr * );
void delete_from_global_V( char * );
void set_global_V( struct hash * );
struct hash * get_global_V();
struct lambda_expr * evaluate( struct lambda_expr * expr );
struct lambda_expr * bind_free_variable( struct lambda_expr * source, struct hash * namespace );
void evaluate_namespace( struct hash * namespace );

#endif // #ifndef _LAMBDA_EXPR_H