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 D | bitset-tree.c | 544 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()
|