Did you know ... Search Documentation:
Predicate ord_selectchk/3
Availability::- use_module(library(ordsets)).(can be autoloaded)
Source[semidet]ord_selectchk(+Item, ?Set1, ?Set2)
Selectchk/3, specialised for ordered sets. Is true when select(Item, Set1, Set2) and Set1, Set2 are both sorted lists without duplicates. This implementation is only expected to work for Item ground and either Set1 or Set2 ground. The "chk" suffix is meant to remind you of memberchk/2, which also expects its first argument to be ground. ord_selectchk(X, S, T) => ord_memberchk(X, S) & \+ ord_memberchk(X, T).
author
Richard O'Keefe
Tags are associated to your profile if you are logged in
Tags:
Andreas Brandstetter said (2021-05-22T20:37:46):0 upvotes 0 0 downvotes
Picture of user Andreas Brandstetter.
Even though in retrospect it seems quite clear, I still had to check the source here: The effort of ord_selectchk is still O(n), the same like selectchk.