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
Int::IntTraceView TraceView
unsigned long long int SlackValue
Gecode toplevel namespace