Home
last modified time | relevance | path

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

/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/
H A Dbitset-tree.h159 extern int bits_tree_is_empty (alloc_limits lim,
H A Dbits.c304 return bits_tree_is_empty (a->lim, a->rule, a->stree->tree); in bits_is_empty()
H A Dbitset-tree.c631 bits_tree_is_empty (alloc_limits lim, in bits_tree_is_empty() function
/dports/devel/tla/tla-1.3.5/src/hackerlab/tests/bitset-tests/
H A Dunit-bitset-tree.c309 if (!(bitset_is_empty (65536, b) == bits_tree_is_empty (0, rules, b16))) in main()
/dports/devel/tla/tla-1.3.5/src/docs-hackerlab/texi/
H A Dbitsets.texi1159 @fuindex bits_tree_is_empty
1209 int bits_tree_is_empty (alloc_limits lim,