Home
last modified time | relevance | path

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

/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/
H A Dbitset.h180 extern void bitset_difference (bit_t size, bitset a, bitset b);
H A Dbitsets-data-sheet.doc121 bitset_intersection (); bitset_difference ();
H A Dbitset.c637 bitset_difference (bit_t size, bitset a, bitset b) in bitset_difference() function
H A Dbitset-tree.c1301 bitset_difference (rule->subset_size, (bitset)a, (bitset)b); in bits_tree_difference()
/dports/devel/tla/tla-1.3.5/src/hackerlab/tests/bitset-tests/
H A Dunit-bits.c551 bitset_difference (65536, a, b); in main()
H A Dunit-bitset-tree.c553 bitset_difference (65536, a, b); in main()
H A Dunit-bitset.c496 bitset_difference (a_size, a, b); in main()
/dports/devel/tla/tla-1.3.5/src/docs-hackerlab/texi/
H A Dbitsets.texi660 @b{* Function} @code{bitset_difference}@fuindex bitset_difference
664 void bitset_difference (bit_t size, bitset a, bitset b);
689 This is similar to @code{bitset_difference (size, b, a)} except that