is_fdset/1

A.9.17.7 FD set predicates

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
        
        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

[semidet]is_fdset(@Set)

Set is currently bound to a valid FD set.