39 const Delta& d0) :
n(n0), d(d0) {
int n
Number of negative literals for node type.
Generic domain change information to be supplied to advisors.
FloatTraceDelta(Float::FloatTraceView o, Float::FloatView n, const Delta &d)
Initialize with old trace view o, new view n, and delta d.
const Delta & d
Delta information.
FloatNum min(void) const
Return minimum.
Float::FloatView n
New view.
FloatNum max(void) const
Return maximum.
Float view for float variables.
FloatNum max(void) const
Return maximum of domain.
FloatNum min(void) const
Return minimum of domain.
double FloatNum
Floating point number base type.
Gecode toplevel namespace