OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPathVisitProgram.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Encoded path lists determine the two directional ports of every internal cell. The output contains both orientations, as required by the route table.

  1. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.lookup line 13
  2. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.visit line 15
  3. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.both line 20
  4. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.visits line 22
  5. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.neighborIndexProgram line 25
  6. abbrev OAI.ContinuumCoulomb.QuantumPathVisitProgram.Input line 49
  7. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.inputCode line 50
  8. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.visitProgram line 52
  9. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.bothProgram line 64
  10. def OAI.ContinuumCoulomb.QuantumPathVisitProgram.visitsProgram line 72