fd_inf/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Reflection predicates
        
        fd_var/1
        
        fd_inf/2
        
        fd_sup/2
        
        fd_size/2
        
        fd_dom/2
        
        fd_degree/2
- Packages

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

Source

fd_inf(+Var, -Inf)

Inf is the infimum of the current domain of Var.