
ria_stat(?Parameter)

   Obtain/start/stop ria statistics counters.

Arguments
   Parameter           one of: on, off, reset, print; or a variable

Type
   library(ria)

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.




