Searched refs:bits_tree_adjoin (Results 1 – 5 of 5) sorted by relevance
/dports/devel/tla/tla-1.3.5/src/hackerlab/tests/bitset-tests/ |
H A D | unit-bitset-tree.c | 60 bits_tree_adjoin (0, rules, answer, x); in make_test_set() 390 bits_tree_adjoin (0, rules, b16, n); in main()
|
/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/ |
H A D | bitset-tree.h | 175 extern int bits_tree_adjoin (alloc_limits lim,
|
H A D | bits.c | 334 return bits_tree_adjoin (b->lim, b->rule, b->stree->tree, n); in bits_adjoin()
|
H A D | bitset-tree.c | 789 bits_tree_adjoin (alloc_limits lim, in bits_tree_adjoin() function 816 return bits_tree_adjoin (lim, rule + 1, ((bits_tree *)b)[bs], bits_tree_which_bit (lim, rule, n)); in bits_tree_adjoin()
|
/dports/devel/tla/tla-1.3.5/src/docs-hackerlab/texi/ |
H A D | bitsets.texi | 1164 @fuindex bits_tree_adjoin 1231 int bits_tree_adjoin (alloc_limits lim, 1364 bits_tree_adjoin
|