OAI/Geometry/CylinderCovering/Beams/CostDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.BeamCost.S line 8
  2. def OAI.CylinderCovering.BeamCost.T line 9
  3. def OAI.CylinderCovering.BeamCost.beamDensity line 11
  4. def OAI.CylinderCovering.BeamCost.beamCost line 14
  5. def OAI.CylinderCovering.BeamCost.stripWidth line 16
  6. def OAI.CylinderCovering.BeamCost.stripDensity line 19
  7. def OAI.CylinderCovering.BeamCost.stripCost line 22
  8. def OAI.CylinderCovering.BeamCost.stripPolynomial line 25
  9. def OAI.CylinderCovering.BeamCost.cutoff line 28
  10. def OAI.CylinderCovering.BeamCost.CostStatement line 30