Home
last modified time | relevance | path

Searched refs:bits_tree_is_empty_bitset (Results 1 – 1 of 1) sorted by relevance

/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/
H A Dbitset-tree.c544 bits_tree_is_empty_bitset (alloc_limits lim, in bits_tree_is_empty_bitset() function
576 if (!bits_tree_is_empty_bitset (lim, rule, ((bits_tree *)b)[x])) in bits_tree_is_equal()
586 if (!bits_tree_is_empty_bitset (lim, rule, ((bits_tree *)a)[x])) in bits_tree_is_equal()
615 if (!bits_tree_is_empty_bitset (lim, rule, ((bits_tree *)b)[x])) in bits_tree_is_subset()
644 if (!bits_tree_is_empty_bitset (lim, rule, ((bits_tree *)a)[x])) in bits_tree_is_empty()
723 if (!bits_tree_is_empty_bitset (lim, rule, ((bits_tree *)a)[x])) in bits_tree_is_empty_range()
1515 if (bits_tree_is_empty_bitset (lim, rule, ((bits_tree *)a)[first_bs])) in bits_tree_population_range()
1524 if (bits_tree_is_empty_bitset (lim, rule, ((bits_tree *)a)[last_bs])) in bits_tree_population_range()