OAI/Combinatorics/KMedian/Optimization/FractionalScanProgram.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.Input line 15
  2. abbrev OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.Raw line 24
  3. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.Input.raw line 25
  4. abbrev OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.Input.encode line 26
  5. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.Input.unit line 28
  6. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.baseProgram line 32
  7. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.budgetProgram line 34
  8. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.unitProgram line 36
  9. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.masksProgram line 40
  10. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.imageData line 45
  11. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.imageData_poly line 47
  12. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.Input.result line 53
  13. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.imageRaw_option line 56
  14. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.imageData_view line 62
  15. def OAI.MetricKMedian.Preparation.FractionalRefinement.ScanProgram.program line 76