[ library(gfd) | Reference Manual | Alphabetic Index ]
struct gfd_prob(cp_stamp, nvars, nevents, vars, prop, last_anc, space, events, events_tail)
ECLiPSe level problem handle (for implementation use only)
Fields
- cp_stamp
-
- nvars
- current number of problem variables
- nevents
- number of events in events queue
- vars
- problem variable array
- prop
- suspension for performing propagation in Gecode
- last_anc
- ancestor to clone from
- space
- handle for Gecode space
- events
- events queue for recomputation
- events_tail
-
Description
This is the structure used to represent the Gecode computation state at the ECLiPSe level, and is part of the implementation of gfd.