Home
last modified time | relevance | path

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

/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/
H A Dbitset.h179 extern void bitset_intersection (bit_t size, bitset a, bitset b);
H A Dbitsets-data-sheet.doc121 bitset_intersection (); bitset_difference ();
H A Dbitset.c612 bitset_intersection (bit_t size, bitset a, bitset b) in bitset_intersection() function
H A Dbitset-tree.c1257 bitset_intersection (rule->subset_size, (bitset)a, (bitset)b); in bits_tree_intersection()
/dports/security/pkcs11-tools/pkcs11-tools-2.5.0/.gnulib/lib/
H A Dbitset.h355 #define bitset_intersection(DST, SRC1, SRC2) bitset_and (DST, SRC1, SRC2) macro
/dports/devel/bison/bison-3.7.6/lib/
H A Dbitset.h348 #define bitset_intersection(DST, SRC1, SRC2) bitset_and (DST, SRC1, SRC2) macro
/dports/devel/tla/tla-1.3.5/src/hackerlab/tests/bitset-tests/
H A Dunit-bits.c546 bitset_intersection (65536, a, b); in main()
H A Dunit-bitset-tree.c548 bitset_intersection (65536, a, b); in main()
H A Dunit-bitset.c491 bitset_intersection (a_size, a, b); in main()
/dports/devel/tla/tla-1.3.5/src/docs-hackerlab/texi/
H A Dbitsets.texi644 @b{* Function} @code{bitset_intersection}@fuindex bitset_intersection
648 void bitset_intersection (bit_t size, bitset a, bitset b);
/dports/devel/bison/bison-3.7.6/src/
H A Dcounterexample.c1385 bitset_intersection (lookaheads, in counterexample_report_state()