in_set/2

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

A.9.17.7 FD set predicates

AllApplicationManualNameSummaryHelp

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        FD set predicates
        
        in_set/2
        
        fd_set/2
        
        is_fdset/1
        
        empty_fdset/1
        
        fdset_parts/4
        
        empty_interval/2
        
        fdset_interval/3
        
        fdset_singleton/2
        
        fdset_min/2
        
        fdset_max/2
        
        fdset_size/2
        
        list_to_fdset/2
        
        fdset_to_list/2
        
        range_to_fdset/2
        
        fdset_to_range/2
        
        fdset_add_element/3
        
        fdset_del_element/3
        
        fdset_disjoint/2
        
        fdset_intersect/2
        
        fdset_intersection/3
        
        fdset_member/2
        
        fdset_eq/2
        
        fdset_subset/2
        
        fdset_subtract/3
        
        fdset_union/3
        
        fdset_union/2
        
        fdset_complement/2
- Packages

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

Source

?Var in_set +Set

Var is an element of the FD set Set.

ClioPatria (version no GIT?)