A.26 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)
empty_nb_set
(
?Set
)
True if
Set
is a non-backtrackable empty set.
empty_nb_set(?Set)True if Set is a non-backtrackable empty set.