OAI/Computability/BinPacking/Inventory/PackingInventoryDescriptors.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.BinPackingGap.PackingInventoryDescriptors.ItemDescriptor line 13
  2. def OAI.BinPackingGap.PackingInventoryDescriptors.itemDescriptor line 15
  3. def OAI.BinPackingGap.PackingInventoryDescriptors.positiveDescriptor line 18
  4. def OAI.BinPackingGap.PackingInventoryDescriptors.vertexDescriptors line 21
  5. def OAI.BinPackingGap.PackingInventoryDescriptors.jobDescriptors line 27
  6. theorem OAI.BinPackingGap.PackingInventoryDescriptors.vertexChunk_descriptors line 35
  7. theorem OAI.BinPackingGap.PackingInventoryDescriptors.jobChunk_descriptors line 41
  8. theorem OAI.BinPackingGap.PackingInventoryDescriptors.vertexDescriptors_length line 47
  9. theorem OAI.BinPackingGap.PackingInventoryDescriptors.jobDescriptors_length line 51
  10. def OAI.BinPackingGap.PackingInventoryDescriptors.rawOfDescriptor line 55
  11. theorem OAI.BinPackingGap.PackingInventoryDescriptors.rawOfDescriptor_item line 61
  12. theorem OAI.BinPackingGap.PackingInventoryDescriptors.vertexChunk_raw line 68
  13. theorem OAI.BinPackingGap.PackingInventoryDescriptors.jobChunk_raw line 86
  14. def OAI.BinPackingGap.PackingInventoryDescriptors.globalDescriptor line 107
  15. def OAI.BinPackingGap.PackingInventoryDescriptors.globalEdgeIndex line 112
  16. def OAI.BinPackingGap.PackingInventoryDescriptors.flagDescriptor line 116
  17. theorem OAI.BinPackingGap.PackingInventoryDescriptors.globalPool_raw line 121
  18. theorem OAI.BinPackingGap.PackingInventoryDescriptors.flagPool_raw line 135
  19. def OAI.BinPackingGap.PackingInventoryDescriptors.vertexStream line 148
  20. def OAI.BinPackingGap.PackingInventoryDescriptors.jobStream line 152
  21. def OAI.BinPackingGap.PackingInventoryDescriptors.globalPoolStream line 159
  22. def OAI.BinPackingGap.PackingInventoryDescriptors.globalStream line 164
  23. def OAI.BinPackingGap.PackingInventoryDescriptors.flagPoolStream line 170
  24. def OAI.BinPackingGap.PackingInventoryDescriptors.flagStream line 174
  25. def OAI.BinPackingGap.PackingInventoryDescriptors.recipeStream line 177
  26. theorem OAI.BinPackingGap.PackingInventoryDescriptors.recipeStream_eq_rawItemList line 180