/usr/local/lib/swipl/library/rbtrees.pl
All Application Manual Name SummaryHelp

  • swipl
    • library
      • error.pl
      • debug.pl
      • apply.pl -- Apply predicates on a list
      • lists.pl -- List Manipulation
      • broadcast.pl
      • shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
      • option.pl -- Option list processing
      • thread_pool.pl
      • gensym.pl
      • settings.pl -- Setting management
      • arithmetic.pl
      • main.pl -- Provide entry point for scripts
      • readutil.pl -- Read utilities
      • operators.pl
      • pairs.pl
      • prolog_source.pl -- Examine Prolog source-files
      • record.pl -- Access compound arguments by name
      • quasi_quotations.pl
      • pure_input.pl
      • solution_sequences.pl -- Modify solution sequences
      • ordsets.pl -- Ordered set manipulation
      • random.pl
      • base64.pl
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • yall.pl -- Lambda expressions
      • sandbox.pl
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • assoc.pl -- Binary associations
      • prolog_format.pl -- Analyse format specifications
      • predicate_options.pl -- Access and analyse predicate options
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl -- Pretty Print Prolog terms
      • atom.pl
      • modules.pl -- Module utility predicates
      • occurs.pl -- Finding and counting sub-terms
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • prolog_colour.pl
      • lazy_lists.pl
      • ugraphs.pl
      • url.pl
      • www_browser.pl
      • prolog_pack.pl
      • git.pl -- Run GIT commands
      • rbtrees.pl -- Red black trees
        • rb_new/1
        • rb_empty/1
        • rb_lookup/3
        • rb_min/3
        • rb_max/3
        • rb_next/4
        • rb_previous/4
        • rb_update/4
        • rb_update/5
        • rb_apply/4
        • rb_in/3
        • rb_insert/4
        • rb_insert_new/4
        • rb_delete/3
        • rb_delete/4
        • rb_del_min/4
        • rb_del_max/4
        • rb_visit/2
        • rb_map/3
        • rb_map/2
        • rb_fold/4
        • rb_clone/3
        • rb_partial_map/4
        • rb_keys/2
        • list_to_rbtree/2
        • ord_list_to_rbtree/2
        • rb_size/2
        • is_rbtree/1
      • dif.pl
      • charsio.pl -- I/O on Lists of Character Codes
      • prolog_stack.pl -- Examine the Prolog stack
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • prolog_clause.pl
      • prolog_breakpoints.pl
      • wfs.pl
      • dialect.pl
      • prolog_code.pl
      • sort.pl
      • iostream.pl -- Utilities to deal with streams
      • dicts.pl
      • varnumbers.pl
      • base32.pl
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl
      • date.pl
      • heaps.pl
      • statistics.pl -- Get information about resource usage
      • terms.pl
      • utf8.pl
      • when.pl -- Conditional coroutining
      • backcomp.pl
      • optparse.pl
      • strings.pl -- String utilities
      • listing.pl -- List programs and pretty print clauses
      • tables.pl
      • thread.pl -- High level thread primitives
      • prolog_coverage.pl
      • edit.pl
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • prolog_config.pl -- Provide configuration information
      • intercept.pl
      • system.pl -- System utilities
      • portray_text.pl
      • shell.pl -- Elementary shell commands
      • explain.pl
      • prolog_trace.pl
      • prolog_wrap.pl
      • make.pl -- Reload modified source files
      • writef.pl
      • persistency.pl
      • quintus.pl
      • prolog_debug.pl -- User level debugging tools
      • threadutil.pl -- Interactive thread utilities
      • rwlocks.pl
      • exceptions.pl
      • help.pl -- Text based manual
      • check.pl
      • nb_set.pl
      • prolog_jiti.pl
      • qsave.pl
      • zip.pl
      • prolog_autoload.pl -- Autoload all dependencies
      • files.pl
      • streams.pl -- Manage Prolog streams
      • prolog_profile.pl
      • oset.pl
      • prolog_codewalk.pl -- Prolog code walker
      • hashtable.pl
      • macros.pl
      • increval.pl
      • prolog_metainference.pl
      • fastrw.pl
      • ctypes.pl
      • prolog_versions.pl -- Demand specific (Prolog) versions
 rb_partial_map(+Tree, +Keys, :G, -NewTree)
For all nodes Key in Keys, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF, otherwise it is the value associated with the key in Tree. Fails if Key isn't in Tree or if call(G,Val0,ValF) is not satisfiable for all Val0 in Keys. Assumes keys are sorted and not repeated (fails if this is not true).