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