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.
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)
New view Float::FloatView n
Delta information const Delta & d
name Access Return minimum FloatNum min(void) const
name Constructor Initialize with old trace view a o
Return maximum FloatNum max(void) const
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.