IntervalAnalyzer constructor

IntervalAnalyzer({
  1. int wideningThreshold = 3,
  2. int maxIterations = 1000,
})

Implementation

IntervalAnalyzer({
  super.wideningThreshold,
  super.maxIterations,
}) : super(IntervalDomain.topValue);