Home
last modified time | relevance | path

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

/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/
H A Dbitset.c266 bit_t last_subset; in bitset_is_empty_range() local
276 last_subset = bitset_which_subset (to); in bitset_is_empty_range()
281 if (first_subset == last_subset) in bitset_is_empty_range()
287 if (a[last_subset] & last_bitset_subset_mask) in bitset_is_empty_range()
290 for (x = first_subset + 1; x < last_subset; ++x) in bitset_is_empty_range()
339 bit_t last_subset; in bitset_is_full_range() local
347 last_subset = bitset_which_subset (to); in bitset_is_full_range()
351 if (first_subset == last_subset) in bitset_is_full_range()
358 if ((a[last_subset] & last_bitset_subset_mask) != last_bitset_subset_mask) in bitset_is_full_range()
361 for (x = first_subset + 1; x < last_subset - 1; ++x) in bitset_is_full_range()