Searched refs:bits_tree_is_full_bitset (Results 1 – 1 of 1) sorted by relevance
/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/ |
H A D | bitset-tree.c | 533 bits_tree_is_full_bitset (alloc_limits lim, in bits_tree_is_full_bitset() function 571 if (!bits_tree_is_full_bitset (lim, rule, ((bits_tree *)b)[x])) in bits_tree_is_equal() 581 if (!bits_tree_is_full_bitset (lim, rule, ((bits_tree *)a)[x])) in bits_tree_is_equal() 665 if (!bits_tree_is_full_bitset (lim, rule, ((bits_tree *)a)[x])) in bits_tree_is_full() 781 if (!bits_tree_is_full_bitset (lim, rule, ((bits_tree *)a)[x])) in bits_tree_is_full_range() 1517 else if (bits_tree_is_full_bitset (lim, rule, ((bits_tree *)a)[first_bs])) in bits_tree_population_range() 1526 else if (bits_tree_is_full_bitset (lim, rule, ((bits_tree *)a)[last_bs])) in bits_tree_population_range()
|