SWI-Prolog -- lex_chain/1

Places
- Home
- Graphs
- Prefixes
Admin
- Users
- Settings
- Plugins
- Statistics
CPACK
Repository
Query
Help
Login

A.9.17.4 Global constraints

All Application Manual Name SummaryHelp

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Global constraints
        
        all_distinct/1
        
        all_different/1
        
        sum/3
        
        scalar_product/4
        
        lex_chain/1
        
        tuples_in/2
        
        serialized/2
        
        element/3
        
        global_cardinality/2
        
        global_cardinality/3
        
        circuit/1
        
        cumulative/1
        
        cumulative/2
        
        disjoint2/1
        
        automaton/3
        
        automaton/8
        
        chain/2
- Packages

Availability::- use_module(library(clpfd)).

Source

lex_chain(+Lists)

Lists are lexicographically non-decreasing.

ClioPatria (version V3.1.1-51-ga0b30a5)