[ 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.