OAI/Computability/WLIdentification/CircuitCodes.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.WLIdentification.FinitePresentation.Number.sigmaSnd line 12
  2. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.primaryIndex line 25
  3. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionIndex line 28
  4. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.realIndex line 37
  5. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonIndex line 42
  6. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.realDim line 49
  7. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.toPrimary line 53
  8. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.toBuffer line 55
  9. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.toDummy line 58
  10. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonSource line 61
  11. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonTarget line 67
  12. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionDomain line 74
  13. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.rightBit line 81
  14. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.flipMapping line 85
  15. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionMapping line 92
  16. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonDomain line 102
  17. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonMapping line 110