OAI/Geometry/CylinderCovering/Nilpotent/ApexNetDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.NilpotentApexNet.meshCount line 10
  2. def OAI.CylinderCovering.NilpotentApexNet.node line 12
  3. def OAI.CylinderCovering.NilpotentApexNet.velocity line 14
  4. def OAI.CylinderCovering.NilpotentApexNet.radius line 17
  5. def OAI.CylinderCovering.NilpotentApexNet.tile line 19
  6. def OAI.CylinderCovering.NilpotentApexNet.cylinder line 22
  7. def OAI.CylinderCovering.NilpotentApexNet.apexSweep line 25
  8. def OAI.CylinderCovering.NilpotentApexNet.weight line 29
  9. def OAI.CylinderCovering.NilpotentApexNet.weightedArea line 32
  10. def OAI.CylinderCovering.NilpotentApexNet.AuxiliaryApexNetStatement line 35