ic_stat_get(-StatsList)

StatsList

The list of stats events description=value pairs

Description

Returns the list of stats events description=value pairs.

IC records the following statistics by default.

ic_Xv_lin_create

Number of X variable linear propagators where (X can be 1,2 or n)

ic_Xv_lin_prop

Number of X variable linear propagation steps where (X can be 1,2 or n)

ic_Xv_lin_ent

Number of X variable linear propagator entailments where (X can be 1,2 or n)

ic_Xv_lin_red

Number of X variable linear propagator reductions where (X can be 1,2 or n)

ic_uni_prop,ic_bin_prop,ic_tern_prop

Propagation steps of non-linear constraints

ic_split

Domain splits in locate/2,3,4

ic_squash

Attempts to bound reduction in squash/3 or locate/4

ic_run_time_linear

Number of constraints which were linear at run-time

ic_compile_time_linear

Number of constraints which were linear at compile-time

See Also

ic_stat / 1, ic_stat_get / 1