[ library(gfd) | Reference Manual | Alphabetic Index ]

# struct gfd_stats(prop, fail, nodes, depth, mem)

Structure for obtaining statistics or providing stopping limits for gecode search-engines

## Fields

prop
  Number of propagations performed. (stats only)
fail
  Number of failed nodes.
nodes
  Number of nodes expanded.
depth
  Maximum depth of search stack. (stats only)
mem
  peak memory usage (in bytes) by gecode.

## Description

This structure is used in search/6 predicate, which interface to gecode's search-engines. The structure can be used to obtain statistics of the search via the stats option, in this case the fields of the structure should be uninstantiated, and search/6 will instantiate it when a solution is returned. Secondly, the struct can be used in the limits option, to specify limits for the search, such that the search will be terminated when the specified limit is exceeded. In this case, the fields for which limits are required should be set. Note that not all fields can be used as limits. If the field cannot be used as a limit, it will be ignored.