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