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

struct gfd_space(handle, stamp)

Handle for Gecode solver state (for implementation use only)

Fields

handle
low level handle to current Gecode space in C++
stamp

Description

The ECLiPSe level handle for the Gecode's solver state, and is part of the implementation of gfd