OAI/Computability/VertexCover/Machines/GraphFrame.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Machine.foldl_and_all line 46
  2. def OAI.VertexCover.Machine.Poly.boundAll line 50
  3. def OAI.VertexCover.Machine.Poly.decideAnd line 61
  4. def OAI.VertexCover.Machine.Poly.decideForall line 67
  5. def OAI.VertexCover.Machine.Poly.natEqual line 72
  6. abbrev OAI.VertexCover.Machine.GraphMachine.Weight line 78
  7. abbrev OAI.VertexCover.Machine.GraphMachine.RawVertex line 79
  8. abbrev OAI.VertexCover.Machine.GraphMachine.Frame line 80
  9. def OAI.VertexCover.Machine.GraphMachine.weightCode line 81
  10. def OAI.VertexCover.Machine.GraphMachine.vertexCode line 82
  11. def OAI.VertexCover.Machine.GraphMachine.frameCode line 83
  12. def OAI.VertexCover.Machine.GraphMachine.defaultWeight line 84
  13. def OAI.VertexCover.Machine.GraphMachine.defaultFrame line 85
  14. def OAI.VertexCover.Machine.GraphMachine.seed line 87
  15. def OAI.VertexCover.Machine.GraphMachine.vertexAt line 89
  16. abbrev OAI.VertexCover.Machine.GraphMachine.Q line 90
  17. def OAI.VertexCover.Machine.GraphMachine.W line 92
  18. def OAI.VertexCover.Machine.GraphMachine.rawVertex line 93
  19. def OAI.VertexCover.Machine.GraphMachine.descriptor line 95
  20. def OAI.VertexCover.Machine.GraphMachine.instancePoly line 96
  21. def OAI.VertexCover.Machine.GraphMachine.atPoly line 98
  22. def OAI.VertexCover.Machine.GraphMachine.seedNumberPoly line 103
  23. def OAI.VertexCover.Machine.GraphMachine.weightPoly line 105
  24. def OAI.VertexCover.Machine.GraphMachine.samplePoly line 110
  25. def OAI.VertexCover.Machine.GraphMachine.questionUPoly line 116
  26. def OAI.VertexCover.Machine.GraphMachine.questionVPoly line 121