A.9.17.6 Reflection predicates
All
Application
Manual
Name
Summary
Help
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)
).
[det]
fd_degree
(
+Var, -Degree
)
Degree
is the number of constraints currently attached to
Var
.