menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
IntervalDomain
IntervalDomain.new const constructor
IntervalDomain.new const constructor
dark_mode
light_mode
IntervalDomain
constructor
const
IntervalDomain
(
int
?
min
,
int
?
max
)
Implementation
const IntervalDomain(this.min, this.max);
anteater package
documentation
reasoner/abstract/abstract_domain
IntervalDomain
IntervalDomain.new const constructor
IntervalDomain class