OAI/Computability/MinUncut/Graphs/DemandOrder.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MinUncut.Preprocess.DemandOrder.Body line 15
  2. def OAI.MinUncut.Preprocess.DemandOrder.bodyEncoding line 17
  3. lemma OAI.MinUncut.Preprocess.DemandOrder.samples_enc line 21
  4. def OAI.MinUncut.Preprocess.DemandOrder.bodyExpr line 28
  5. def OAI.MinUncut.Preprocess.DemandOrder.bodyRepetitions line 32
  6. def OAI.MinUncut.Preprocess.DemandOrder.bodyExpressions line 34
  7. def OAI.MinUncut.Preprocess.DemandOrder.indexEquiv line 38
  8. def OAI.MinUncut.Preprocess.DemandOrder.enumeration line 44
  9. lemma OAI.MinUncut.Preprocess.DemandOrder.localExpressions_eq line 47
  10. lemma OAI.MinUncut.Preprocess.DemandOrder.c_bodyExpressions line 65
  11. lemma OAI.MinUncut.Preprocess.DemandOrder.out_bodyExpressions line 84
  12. lemma OAI.MinUncut.Preprocess.DemandOrder.c_localExpressions line 102
  13. def OAI.MinUncut.Costed.GraphRegisters.vertexExpr line 128
  14. def OAI.MinUncut.Costed.GraphRegisters.lastVertexExpr line 129
  15. def OAI.MinUncut.Costed.GraphRegisters.initRender line 131
  16. def OAI.MinUncut.Costed.GraphRegisters.initProgram line 135
  17. def OAI.MinUncut.Costed.GraphRegisters.rawGraphWords line 143
  18. def OAI.MinUncut.Costed.GraphRegisters.renderRaw line 147
  19. def OAI.MinUncut.Costed.GraphRegisters.rawRenderer line 150
  20. lemma OAI.MinUncut.Costed.GraphRegisters.renderRaw_encode line 159
  21. lemma OAI.MinUncut.Costed.GraphRegisters.length_packDemands line 164
  22. lemma OAI.MinUncut.Costed.GraphRegisters.rawLocal_append line 171
  23. lemma OAI.MinUncut.Costed.GraphRegisters.rawCell_append line 176
  24. lemma OAI.MinUncut.Costed.GraphRegisters.rawTable_append line 185
  25. lemma OAI.MinUncut.Costed.GraphRegisters.renderer_pack line 193
  26. def OAI.MinUncut.Outer.Parameters.graph line 207
  27. lemma OAI.MinUncut.Outer.Parameters.graph_threshold line 210
  28. lemma OAI.MinUncut.Outer.Parameters.graph_yes line 213
  29. lemma OAI.MinUncut.Outer.Parameters.graph_no line 221
  30. lemma OAI.MinUncut.Outer.Parameters.graph_vertices line 234
  31. lemma OAI.MinUncut.Outer.Parameters.graph_demands line 240