1 #ifndef _LIBSAPLING_TRIE_H_
2 #define _LIBSAPLING_TRIE_H_
21 void *trie__data(
const node_t node);
22 void trie__access(
enum qt qt, node_t *ref,
const char *key,
void *info,
24 void trie__insert(node_t *ref,
const char *key,
void *info);
25 void trie__delete(node_t *ref,
const char *key);
26 void trie__print(FILE *stream, node_t *ref,
fpfdata_t fpfdata);
27 int trie__length(
const node_t *ref);
void(* apply_t)(node_t *ref, const struct info_stack *info)
Performs a user-defined operation on the node.
Definition: graph.h:117
void(* fpfdata_t)(FILE *stream, const void *data)
File print format data function prototype.
Definition: graph.h:152
int(* predicate_t)(const node_t *ref, const struct info_stack *info)
Decides whether to run the apply function on an item. Behavior is modified by quantifiers.
Definition: graph.h:112
qt
Quantifier definitions.
Definition: logic.h:10
Typed trie interface implementation.