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)
gen_nb_set
(
+Set, -Key
)
Generate all members of
Set
on backtracking in the standard order of terms. To test membership, use
add_nb_set/3
.
gen_nb_set(+Set,
-Key)Generate all members of Set on backtracking in the standard
order of terms. To test membership, use add_nb_set/3.