OAI/Computability/VertexCover/Machines/FinalCNF.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.FinalCNFMachine.enc line 47
  2. def OAI.VertexCover.Machine.FinalCNFMachine.queryPoly line 48
  3. abbrev OAI.VertexCover.Machine.FinalCNFMachine.renameEnc line 60
  4. def OAI.VertexCover.Machine.FinalCNFMachine.renameFirst line 61
  5. def OAI.VertexCover.Machine.FinalCNFMachine.renameOffset line 65
  6. def OAI.VertexCover.Machine.FinalCNFMachine.renameRem line 69
  7. def OAI.VertexCover.Machine.FinalCNFMachine.renameNo line 72
  8. def OAI.VertexCover.Machine.FinalCNFMachine.renameYes line 75
  9. def OAI.VertexCover.Machine.FinalCNFMachine.renameTest line 78
  10. def OAI.VertexCover.Machine.FinalCNFMachine.renamePoly line 81
  11. def OAI.VertexCover.Machine.FinalCNFMachine.literalPoly line 92
  12. def OAI.VertexCover.Machine.FinalCNFMachine.clausePoly line 98
  13. def OAI.VertexCover.Machine.FinalCNFMachine.skeletonPoly line 107
  14. def OAI.VertexCover.Machine.FinalCNFMachine.eventTemplatePoly line 110
  15. def OAI.VertexCover.Machine.FinalCNFMachine.eventRenamePoly line 115
  16. def OAI.VertexCover.Machine.FinalCNFMachine.eventPoly line 119
  17. def OAI.VertexCover.Machine.FinalCNFMachine.clausesPoly line 124
  18. def OAI.VertexCover.Machine.FinalCNFMachine.oldVarsPoly line 127
  19. def OAI.VertexCover.Machine.FinalCNFMachine.newVarsPoly line 129
  20. def OAI.VertexCover.Machine.FinalCNFMachine.variablesPoly line 131
  21. def OAI.VertexCover.Machine.FinalCNFMachine.outputPoly line 133