OAI/Computability/VertexCover/Machines/InitialTable.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.InitialTable.ClauseData line 53
  2. abbrev OAI.VertexCover.Machine.InitialTable.Signs line 54
  3. def OAI.VertexCover.Machine.InitialTable.signsCode line 55
  4. def OAI.VertexCover.Machine.InitialTable.clauseDefault line 56
  5. def OAI.VertexCover.Machine.InitialTable.signs line 57
  6. def OAI.VertexCover.Machine.InitialTable.lit line 58
  7. def OAI.VertexCover.Machine.InitialTable.accepts line 61
  8. def OAI.VertexCover.Machine.InitialTable.relation line 67
  9. def OAI.VertexCover.Machine.InitialTable.row line 73
  10. def OAI.VertexCover.Machine.InitialTable.output line 84
  11. def OAI.VertexCover.Machine.InitialTable.signsPoly line 87
  12. def OAI.VertexCover.Machine.InitialTable.litPoly line 94
  13. def OAI.VertexCover.Machine.InitialTable.relationPoly line 105
  14. def OAI.VertexCover.Machine.InitialTable.rowPoly line 111
  15. def OAI.VertexCover.Machine.InitialTable.outputPoly line 137