AnalysisResult<D extends AbstractDomain<D>> constructor

AnalysisResult<D extends AbstractDomain<D>>({
  1. required Map<int, AbstractState<D>> entryStates,
  2. required Map<int, AbstractState<D>> exitStates,
  3. required int iterations,
  4. required bool wideningApplied,
  5. bool narrowingApplied = false,
  6. int narrowingIterations = 0,
})

Implementation

AnalysisResult({
  required this.entryStates,
  required this.exitStates,
  required this.iterations,
  required this.wideningApplied,
  this.narrowingApplied = false,
  this.narrowingIterations = 0,
});