ON THIS PAGE
Bit-coded-set operations
Author(s): Ann Mulkers (first version), Francisco Bueno (port to Ciao).
Only finite sets and complements of finite sets.
Usage and interface
- Library usage:
:- use_module(library(bitcodesets)). - Exports:
- Predicates:
bitset_empty/1, bitset_equal/2, bitset_member/2, not_bitset_member/2, bitset_member_SoS/2, bitset_subset/2, bitset_union/3, bitset_union_list/2, bitset_union_list_list_s/4, bitset_intersect/3, bitset_subtract/3, bitset_subtract_list/3, bitset_size/2, bitcode_to_listofbitcode/2, bitcode_to_set/2, bitcode_to_set/3, bitcode_to_set_array/2, int_to_bitcode/2, lbitcode_to_llist/2, lbitcode_to_llistS/2, llist_to_lbitcode/2, set_to_bitcode/2.
- Predicates:
Documentation on exports
PREDICATEbitset_empty/1
No further documentation available for this predicate.
PREDICATEbitset_equal/2
No further documentation available for this predicate.
PREDICATEbitset_member/2
No further documentation available for this predicate.
PREDICATEnot_bitset_member/2
No further documentation available for this predicate.
PREDICATEbitset_member_SoS/2
No further documentation available for this predicate.
PREDICATEbitset_subset/2
No further documentation available for this predicate.
PREDICATEbitset_union/3
No further documentation available for this predicate.
PREDICATEbitset_union_list/2
No further documentation available for this predicate.
PREDICATEbitset_union_list_list_s/4
No further documentation available for this predicate.
PREDICATEbitset_intersect/3
No further documentation available for this predicate.
PREDICATEbitset_subtract/3
No further documentation available for this predicate.
PREDICATEbitset_subtract_list/3
No further documentation available for this predicate.
PREDICATEbitset_size/2
No further documentation available for this predicate.
PREDICATEbitcode_to_listofbitcode/2
No further documentation available for this predicate.
PREDICATEbitcode_to_set/2
No further documentation available for this predicate.
PREDICATEbitcode_to_set/3
No further documentation available for this predicate.
PREDICATEbitcode_to_set_array/2
No further documentation available for this predicate.
PREDICATEint_to_bitcode/2
No further documentation available for this predicate.
PREDICATElbitcode_to_llist/2
No further documentation available for this predicate.
PREDICATElbitcode_to_llistS/2
No further documentation available for this predicate.
PREDICATEllist_to_lbitcode/2
No further documentation available for this predicate.
PREDICATEset_to_bitcode/2
No further documentation available for this predicate.
Documentation on imports
This module has the following direct dependencies:- System library modules:
sort. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic.