Home
last modified time | relevance | path

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 Dbitset-tree.c533 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()