topValue constant
IntervalDomain
const topValue
Top element (all integers).
Implementation
static const IntervalDomain topValue = IntervalDomain(null, null);
topValue constant
Top element (all integers).
static const IntervalDomain topValue = IntervalDomain(null, null);