typed_avl.h File Reference

Typed AVL interface implementation. More...

#include "libsapling/dm/typed/typed_adapters.h"

Go to the source code of this file.

Macros
#define	IMPLEMENT_TYPED_AVL(SYM, TYPE, CMP, EQU, FPF)

Detailed Description

Typed AVL interface implementation.

Use SYM__cmp_predicate when inserting and SYM__equ_predicate when searching for a particular item with the existentials quantifier.