git @ Cat's Eye Technologies Collapsiv / master src / collapsiv.h
master

Tree @master (Download .tar.gz)

collapsiv.h @master — raw · history · blame 

 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
/*
 * SPDX-FileCopyrightText: (c) 2024 Chris Pressey, Cat's Eye Technologies
 *
 * SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Collapsiv
 */

/*
 * collapsiv.h
 */

#ifndef COLLAPSIV_H
#define COLLAPSIV_H

void push_atom(char atom);
void push_pointer(int index);
void make_ctor(int arity);
int is_atom(int index);
int is_pointer(int index);
int is_ctor(int index);
int term_size(int index);
void pop(void);
int compare_terms(int src_index, int dest_index);
int compare_terms_deep(int src_index, int dest_index);
void deduplicate(int index);
void deduplicate_top(void);
void dup(void);
void print_term(int index, int depth);
void dump_stack(void);
void reset_stack(void);

#ifdef COLLAPSIV_TESTING

int get_stack_pointer(void);
int get_stack_entry_type(int index);
char get_stack_entry_atom(int index);
int get_stack_entry_pointer(int index);
int get_stack_entry_arity(int index);

#endif /* defined COLLAPSIV_TESTING */

#endif /* !defined COLLAPSIV_H */