Trace delta information for Boolean variables.
Trace delta information for integer variables.
Duplicate of a Boolean view.
Boolean view for Boolean variables.
Duplicate of an integer view.
Integer view for integer variables.
Int::BoolTraceView TraceView
BoolTraceDelta TraceDelta
unsigned long long int SlackValue
Int::IntTraceView TraceView
Gecode toplevel namespace