OAI/Analysis/MatrixSigning/Realization/ValueQueryRealization.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.CurrentKS.Realization.ValueQueryParams line 13
  2. abbrev OAI.CurrentKS.Realization.valueQueryDataCode line 21
  3. def OAI.CurrentKS.Realization.ValueQueryParams.data line 23
  4. def OAI.CurrentKS.Realization.valueQueryCode line 25
  5. def OAI.CurrentKS.Realization.vqView line 26
  6. def OAI.CurrentKS.Realization.vqData line 28
  7. def OAI.CurrentKS.Realization.vqDelta line 31
  8. def OAI.CurrentKS.Realization.valueLipschitz line 34
  9. def OAI.CurrentKS.Realization.valueOuterRadius line 41
  10. def OAI.CurrentKS.Realization.valueInnerRadius line 47
  11. def OAI.CurrentKS.Realization.ValueQueryParams.opt line 52
  12. def OAI.CurrentKS.Realization.vqOpt line 62
  13. def OAI.CurrentKS.Realization.vqFuel line 75
  14. def OAI.CurrentKS.Realization.valueQueryPoint line 82
  15. def OAI.CurrentKS.Realization.valueQuery line 86