[ library(ic_kernel) | Reference Manual | Alphabetic Index ]
ic_stat_get(-StatsList)
Returns the list of stats events description=value pairs
- 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. Please note that since
these depend on the internals of IC, they are subject to change without
notice, and should be used as a guide only.
- ic_lin_create
- Number of linear constraints set up.
- ic_lin_prop
- Number of times a linear constraint is propagated.
- ic_uni_prop/ic_bin_prop/ic_tern_prop
- Number of times a non-linear (unary/binary/ternary) operator is
propagated.
- ic_split
- Number of domain splits in locate/2,3,4.
- ic_squash
- Number of squash attempts in squash/3 or locate/4.
See Also
ic_stat / 1, ic_stat_get / 1, ic_event / 1