A.27 library(nb_set): Non-backtrackable set
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(nb_set): Non-backtrackable set
empty_nb_set/1
add_nb_set/2
add_nb_set/3
gen_nb_set/2
size_nb_set/2
nb_set_to_list/2
Packages
Availability:
:- use_module(
library(nb_set)
).
(can be autoloaded)
size_nb_set
(
+Set, -Size
)
Unify
Size
with the number of elements in
Set
.
size_nb_set(+Set,
-Size)Unify Size with the number of elements in Set.