[ library(ria) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ria_stat(?Parameter)
Obtain/start/stop ria statistics counters.
- Parameter
- one of: on, off, reset, print; or a variable
Calling Modes
Description
Often it is difficult to know where the solver spends its time.
The library has built-in counters which keep track of
- Propagation steps (prop)
- Domain splits in locate/2,3,4 (split)
- Attempts to bound reduction in squash/3 or locate/4 (squash)
The counters are controlled by the Parameter of ria_stat/1:
- ria_stat(on)
- ria_stat(off)
- Enables/disable collection of statistics. Default is off.
- ria_stat(reset)
- Reset statistics counters.
- ria_stat(-Stat)
- Returns a list of CounterName=CounterValue pairs, summarising
the computation since the last reset.
- ria_stat(print)
- Print statistics counters.