OAI/Geometry/CylinderCovering/Beams/NeighborhoodRealizationDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.BeamNeighborhoodRealization.physicalMap line 12
  2. def OAI.CylinderCovering.BeamNeighborhoodRealization.rawBase line 15
  3. def OAI.CylinderCovering.BeamNeighborhoodRealization.base line 18
  4. def OAI.CylinderCovering.BeamNeighborhoodRealization.cellBase line 21
  5. def OAI.CylinderCovering.BeamNeighborhoodRealization.cost line 25
  6. def OAI.CylinderCovering.BeamNeighborhoodRealization.cellMidpoint line 28
  7. def OAI.CylinderCovering.BeamNeighborhoodRealization.beamBaseMinus line 31
  8. def OAI.CylinderCovering.BeamNeighborhoodRealization.beamBasePlus line 37
  9. def OAI.CylinderCovering.BeamNeighborhoodRealization.alternativeCost line 43
  10. def OAI.CylinderCovering.BeamNeighborhoodRealization.AlternativeStatement line 47