/usr/share/swi-prolog/pack/clpBNR/prolog/clpBNR.pl
All Application Manual Name SummaryHelp

  • clpBNR
    • prolog
      • clpBNR.pl -- clpBNR: Constraint Logic Programming over Continuous Domain of Reals
        • clpStatistics/0
        • clpStatistic/1
        • clpStatistics/1
        • list/1
        • interval/1
        • interval_degree/2
        • nb_setbounds/2
        • range/2
        • domain/2
        • delta/2
        • midpoint/2
        • median/2
        • lower_bound/1
        • upper_bound/1
        • ::/2
        • {}/1
        • watch/2
        • trace_clpBNR/1
      • clpBNR_toolkit.pl -- clpBNR_toolkit: Toolkit of various utilities used for solving problems with clpBNR
 watch(+X:interval_List, +Action:atom) is semidet
Succeeds if X is an interval and Action is an atom; otherwise fails. If successful, and Action is not none, a watchpoint is placed on X. Watchpoints are only "actioned" when the debug topic clpBNR is enabled. If Action = log a debug message is printed when the interval doman narrows. If Action = trace the debugger is invoked. If Action = none the watchpoint is removed.