AbstractInterpreter<D extends AbstractDomain<D>> constructor

AbstractInterpreter<D extends AbstractDomain<D>>(
  1. D _defaultValue, {
  2. int wideningThreshold = 3,
  3. int maxIterations = 1000,
})

Implementation

AbstractInterpreter(
  this._defaultValue, {
  this.wideningThreshold = 3,
  this.maxIterations = 1000,
});